dlangui v0.9.187 (2022-04-16T10:49:25Z)
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