From eb55e18e1dc6f45cdd26b815467f0bd2bf801787 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 14 May 2023 17:25:07 -0700 Subject: hide cursor in log browser window --- log_browser.lua | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'log_browser.lua') 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) -- cgit 1.4.1-2-gfad0