bugfix: disable typing while file navigator is open

2022-09-18 01:28:05 -07:00 · 2022-09-18 01:28:05 -07:00 · 936d3b4616
parent 89b30a62ef
commit 936d3b4616
1 changed files with 3 additions and 0 deletions
--- a/source.lua
+++ b/source.lua
@ -307,6 +307,9 @@ end

 function source.textinput(t)
  Cursor_time = 0  -- ensure cursor is visible immediately after it moves
+  if Show_file_navigator then
+    return
+  end
  if Focus == 'edit' then
    return edit.textinput(Editor_state, t)
  else