diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2022-09-18 23:55:04 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2022-09-18 23:55:04 -0700 |
| commit | 6d1dee38f0557fe25e57f6a3229476cff33b0140 (patch) | |
| tree | 66d06637bf8555e515a59de9a80604ce6b593a48 /source.lua | |
| parent | 0a6dec2fb4e7e5381c5bd29940f58a28555117d6 (diff) | |
| download | text.love-6d1dee38f0557fe25e57f6a3229476cff33b0140.tar.gz | |
bugfix: mouse clicks on file navigator above log browser side
Diffstat (limited to 'source.lua')
| -rw-r--r-- | source.lua | 5 |
1 files changed, 5 insertions, 0 deletions
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 |