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.cpp | |
| parent | 199d6f15346dda994ab12f8c9701e6081d0817ae (diff) | |
feat: new preferences window
Diffstat (limited to 'src/ui/preferences.cpp')
| -rw-r--r-- | src/ui/preferences.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ui/preferences.cpp b/src/ui/preferences.cpp index c74f0d4..db5017b 100644 --- a/src/ui/preferences.cpp +++ b/src/ui/preferences.cpp @@ -67,6 +67,8 @@ namespace Hsdbg preferences.show_mascot = as_bool(value, preferences.show_mascot); else if (key == "mascot_scale") preferences.mascot_scale = as_float(value, preferences.mascot_scale); + else if (key == "source_font_size") + preferences.source_font_size = as_float(value, preferences.source_font_size); else if (key == "syntax_highlighting") preferences.syntax_highlighting = as_bool(value, preferences.syntax_highlighting); else if (key == "show_line_numbers") @@ -117,6 +119,7 @@ namespace Hsdbg << "rounding=" << preferences.rounding << '\n' << "show_mascot=" << (preferences.show_mascot ? "true" : "false") << '\n' << "mascot_scale=" << preferences.mascot_scale << '\n' + << "source_font_size=" << preferences.source_font_size << '\n' << "syntax_highlighting=" << (preferences.syntax_highlighting ? "true" : "false") << '\n' << "show_line_numbers=" << (preferences.show_line_numbers ? "true" : "false") << '\n' << "highlight_current_line=" << (preferences.highlight_current_line ? "true" : "false") << '\n' |