mirrors/Mole
1
0
Fork 0
mirror of https://github.com/tw93/Mole.git synced 2026-02-04 19:09:43 +00:00
Code Activity

Merge pull request #237 from jimmystridh/fix/arrow-key-responsiveness

Browse Source 
fix(ui): improve arrow key responsiveness in menu
This commit is contained in:
Tw93
2026-01-03 14:16:27 +08:00
committed by GitHub
parent 7415c77bdb e57e71557c
commit 07a61844fb
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

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