From 4f74d1400180ca4ad7cfcd1903386fda8779818d Mon Sep 17 00:00:00 2001 From: hachem Date: Fri, 18 Sep 2026 12:25:58 +0200 Subject: feat: improve layout and themes --- src/ui/preferences.cpp | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/ui/preferences.cpp') 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' -- cgit v1.3