diff options
Diffstat (limited to 'src/ui/preferences.h')
| -rw-r--r-- | src/ui/preferences.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ui/preferences.h b/src/ui/preferences.h index b56a46b..a8c98ae 100644 --- a/src/ui/preferences.h +++ b/src/ui/preferences.h @@ -18,6 +18,7 @@ namespace Hsdbg float mascot_scale = 1.6f; // mascot height as a multiple of a button // editor + float source_font_size = 16.0f; // px before ui scaling; cmd/ctrl+scroll over the source nudges it bool syntax_highlighting = true; bool show_line_numbers = true; bool highlight_current_line = true; |