From eb55e18e1dc6f45cdd26b815467f0bd2bf801787 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sun, 14 May 2023 17:25:07 -0700
Subject: [PATCH] hide cursor in log browser window

---
 log_browser.lua | 4 ++--
 source.lua      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/log_browser.lua b/log_browser.lua
index e011886..078db06 100644
--- a/log_browser.lua
+++ b/log_browser.lua
@@ -84,7 +84,7 @@ function guess_source(filename)
   end
 end
 
-function log_browser.draw(State)
+function log_browser.draw(State, hide_cursor)
   assert(#State.lines == #State.line_cache)
   local mouse_line_index = log_browser.line_index(State, App.mouse_x(), App.mouse_y())
   local y = State.top
@@ -117,7 +117,7 @@ function log_browser.draw(State)
         if type(line.data) == 'string' then
           local old_left, old_right = State.left,State.right
           State.left,State.right = xleft,xright
-          Text.draw(State, line_index, y, --[[startpos]] 1)
+          Text.draw(State, line_index, y, --[[startpos]] 1, hide_cursor)
           State.left,State.right = old_left,old_right
         else
           height = log_render[line.data.name](line.data, xleft, y, xright-xleft)
diff --git a/source.lua b/source.lua
index cbbd6cf..cab4512 100644
--- a/source.lua
+++ b/source.lua
@@ -265,7 +265,7 @@ function source.draw()
     App.color(Divider_color)
     love.graphics.rectangle('fill', App.screen.width/2-1,Menu_status_bar_height, 3,App.screen.height)
     --
-    log_browser.draw(Log_browser_state)
+    log_browser.draw(Log_browser_state, --[[hide_cursor]] Focus ~= 'log_browser')
   end
   source.draw_menu_bar()
 end
-- 
2.11.4.GIT