n
/
git-time-machine
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: improve mouse event handling for divider dragging

This commit is contained in:
n loewen (aider) 2025-05-05 08:54:17 +01:00
parent a1255b237b
commit cfdef57993
1 changed files with 15 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
git_time_machine.py
View File

@ -81,29 +81,32 @@ def main(stdscr, filename):
if bstate & curses.BUTTON1_PRESSED: if bstate & curses.BUTTON1_PRESSED:
if mx == divider_col: if mx == divider_col:
dragging_divider = True dragging_divider = True
elif dragging_divider: elif bstate & curses.BUTTON1_RELEASED:
# Update divider while dragging dragging_divider = False
# Update divider position while dragging
if dragging_divider:
min_col = 10 min_col = 10
max_col = width - 20 # leave space for right pane max_col = width - 20 # leave space for right pane
divider_col = max(min_col, min(mx, max_col)) divider_col = max(min_col, min(mx, max_col))
elif bstate & curses.BUTTON1_RELEASED:
dragging_divider = False
elif bstate & curses.BUTTON1_CLICKED: elif bstate & curses.BUTTON1_CLICKED:
focus = "left" if mx < divider_col else "right" focus = "left" if mx < divider_col else "right"
except curses.error: except curses.error:
pass pass
# Check for mouse release even when no explicit mouse event
# This helps catch mouse releases that might be missed
elif dragging_divider: elif dragging_divider:
# Force a mouse event check while dragging
try: try:
_, mx, my, _, bstate = curses.getmouse() _, mx, my, _, bstate = curses.getmouse()
if bstate & curses.BUTTON1_PRESSED: # Update divider position while dragging
min_col = 10 min_col = 10
max_col = width - 20 # leave space for right pane max_col = width - 20 # leave space for right pane
divider_col = max(min_col, min(mx, max_col)) divider_col = max(min_col, min(mx, max_col))
elif bstate & curses.BUTTON1_RELEASED:
# Check if button is no longer pressed
if not (bstate & curses.BUTTON1_PRESSED):
dragging_divider = False dragging_divider = False
except curses.error: except curses.error:
pass pass