diff options
| author | hachem <im@hachem.wtf> | 2026-09-07 05:48:36 +0200 |
|---|---|---|
| committer | hachem <im@hachem.wtf> | 2026-09-07 05:48:36 +0200 |
| commit | ff58bb0cda2f183836f8e016db42caf055041744 (patch) | |
| tree | cebd3d2bf2462eaf0dbd58b13b5ec3f2091baf81 /src/ui/preferences.h | |
| parent | 199d6f15346dda994ab12f8c9701e6081d0817ae (diff) | |
feat: new preferences window
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 c3a0a4b..8468eed 100644 --- a/src/ui/preferences.h +++ b/src/ui/preferences.h @@ -14,6 +14,7 @@ namespace Hsdbg bool show_mascot = true; float mascot_scale = 1.6f; + float source_font_size = 16.0f; bool syntax_highlighting = true; bool show_line_numbers = true; bool highlight_current_line = true; |