From 141d41aec536a960096e777cb9f6ceef08f121a1 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sun, 18 Sep 2022 01:32:23 -0700
Subject: hide editor cursor while in file navigator

---
 source.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'source.lua')

diff --git a/source.lua b/source.lua
index c8c83a4..69b2d4f 100644
--- a/source.lua
+++ b/source.lua
@@ -222,7 +222,7 @@ function source.switch_to_file(filename)
 end
 
 function source.draw()
-  edit.draw(Editor_state)
+  edit.draw(Editor_state, --[[hide cursor?]] Show_file_navigator)
   if Show_log_browser_side then
     -- divider
     App.color(Divider_color)
-- 
cgit 1.4.1-2-gfad0