dlangui v0.10.7 (2024-03-11T09:32:36Z)
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