permit smaller font sizes

2023-11-23 12:09:07 -08:00 · 2023-11-23 12:09:07 -08:00 · 045aeec77a
parent 848131de7c
commit 045aeec77a
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -18,7 +18,7 @@ draw_settings_menu = function()
 		-- slider knob dimensions
 		w=10, h=10,
 		-- extremes
-		lo=20, hi=40,  -- font sizes
+		lo=12, hi=40,  -- font sizes
 		value=Current_pane.editor_state.font_height,
 	}
 	draw_slider(Settings_font_slider)