diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2022-09-18 01:32:23 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2022-09-18 01:32:23 -0700 |
commit | 141d41aec536a960096e777cb9f6ceef08f121a1 (patch) | |
tree | a2e02ec41d33bb773d32bad6f9e4c160a82b70e9 /source.lua | |
parent | 936d3b4616007916c21fba86fec7a67b9ae72ea2 (diff) | |
download | text.love-141d41aec536a960096e777cb9f6ceef08f121a1.tar.gz |
hide editor cursor while in file navigator
Diffstat (limited to 'source.lua')
-rw-r--r-- | source.lua | 2 |
1 files changed, 1 insertions, 1 deletions
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) |