dlangui v0.10.6 (2024-03-04T10:48:08Z)
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