feat: improve layout and themes

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;