diff options
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' |