From 0167c57cdf3bcdb1102d4d10d02c0eb078dc8736 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 5 Dec 2022 15:04:54 -0800 Subject: consume a mouse click when switching sides This way we can have the log side actually take focus sometimes. --- source.lua | 2 ++ 1 file changed, 2 insertions(+) diff --git a/source.lua b/source.lua index dbf1640..dfffd62 100644 --- a/source.lua +++ b/source.lua @@ -299,12 +299,14 @@ function source.mouse_pressed(x,y, mouse_button) --? print('click on edit side') if Focus ~= 'edit' then Focus = 'edit' + return end edit.mouse_pressed(Editor_state, x,y, mouse_button) elseif Show_log_browser_side and Log_browser_state.left <= x and x < Log_browser_state.right then --? print('click on log_browser side') if Focus ~= 'log_browser' then Focus = 'log_browser' + return end log_browser.mouse_pressed(Log_browser_state, x,y, mouse_button) for _,line_cache in ipairs(Editor_state.line_cache) do line_cache.starty = nil end -- just in case we scroll -- cgit 1.4.1-2-gfad0 tr>Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.Kartik K. Agaram <vc@akkartik.com>

about summary refs log tree commit diff stats

path: root/cpp/.traces/surrounding_space

blob: 0f1371d508d08113bc9612884f421c390055954b (plain) (blame)