dlangui v0.9.186 (2020-07-29T06:28:30Z)
Home
Dub
Repo
DEFAULT_SOURCE_EDIT_FONT_FACES
dlangui
widgets
srcedit
Undocumented in source.
enum
DEFAULT_SOURCE_EDIT_FONT_FACES
=
"Menlo,Consolas,DejaVuSansMono,DejaVu Sans Mono,Liberation Mono,Lucida Sans Typewriter,Courier New,Lucida Console"
;
Meta
Source
See Source File
dlangui
widgets
srcedit
classes
SourceEdit
manifest constants
DEFAULT_SOURCE_EDIT_FONT_FACES