From 6d1dee38f0557fe25e57f6a3229476cff33b0140 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 18 Sep 2022 23:55:04 -0700 Subject: bugfix: mouse clicks on file navigator above log browser side --- source.lua | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/source.lua b/source.lua index dadf4a0..0475569 100644 --- a/source.lua +++ b/source.lua @@ -281,6 +281,11 @@ function source.mouse_pressed(x,y, mouse_button) --? print('mouse click', x, y) --? print(Editor_state.left, Editor_state.right) --? print(Log_browser_state.left, Log_browser_state.right) + if Show_file_navigator and y < Menu_status_bar_height + File_navigation.num_lines * Editor_state.line_height then + -- send click to buttons + edit.mouse_pressed(Editor_state, x,y, mouse_button) + return + end if x < Editor_state.right + Margin_right then --? print('click on edit side') if Focus ~= 'edit' then -- cgit 1.4.1-2-gfad0