Allow font size to be changed from doc panel

dsrw · Nov 28, 2023 · ec83058 · ec83058
1 parent 061aaf4
commit ec83058
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/game.nim b/src/game.nim
@@ -306,7 +306,9 @@ Trying to connect to {state.config.connect_address}.
       state.config_value.value: level_dir = current_level
 
   method unhandled_input*(event: InputEvent) =
-    if EditorVisible in state.local_flags or ConsoleVisible in state.local_flags:
+    if EditorVisible in state.local_flags or DocsVisible in state.local_flags or
+      ConsoleVisible in state.local_flags:
+
       if event.is_action_pressed("zoom_in"):
         self.set_font_size state.config.font_size + 1
       elif event.is_action_pressed("zoom_out"):