dlangui v0.9.182 (2018-11-26T09:11:32Z)
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