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.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/ui/preferences.h') 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; -- cgit v1.3