mirrors/Mole
1
0
Fork 0
mirror of https://github.com/tw93/Mole.git synced 2026-02-12 18:40:14 +00:00
Code Activity

fix(ui): improve arrow key responsiveness in menu

Browse Source 
drain_pending_input was discarding buffered arrow keys during
key repeat, causing slow/jerky scrolling and lingering movement
after key release.
This commit is contained in:
Jimmy Stridh
2026-01-03 07:08:37 +01:00
parent 87963f9e68
commit e57e71557c
1 changed files with 0 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
lib/ui/menu_paginated.sh
View File

@@ -628,9 +628,6 @@ paginated_multi_select() {
printf "\033[%d;1H" "$((items_per_page + 4))" >&2 printf "\033[%d;1H" "$((items_per_page + 4))" >&2
prev_cursor_pos=$cursor_pos prev_cursor_pos=$cursor_pos
# Drain pending input for smoother fast scrolling
drain_pending_input
continue # Skip full redraw continue # Skip full redraw
elif [[ $top_index -gt 0 ]]; then elif [[ $top_index -gt 0 ]]; then
((top_index--)) ((top_index--))
@@ -669,9 +666,6 @@ paginated_multi_select() {
printf "\033[%d;1H" "$((items_per_page + 4))" >&2 printf "\033[%d;1H" "$((items_per_page + 4))" >&2
prev_cursor_pos=$cursor_pos prev_cursor_pos=$cursor_pos
# Drain pending input for smoother fast scrolling
drain_pending_input
continue # Skip full redraw continue # Skip full redraw
elif [[ $((top_index + visible_count)) -lt ${#view_indices[@]} ]]; then elif [[ $((top_index + visible_count)) -lt ${#view_indices[@]} ]]; then
((top_index++)) ((top_index++))