From 9449921842a71768d373540fb14c7517255c56a6 Mon Sep 17 00:00:00 2001 From: Tw93 Date: Thu, 2 Oct 2025 19:40:36 +0800 Subject: [PATCH] chore: drain pending input in paginated menu loop to mirror analyze behavior --- lib/paginated_menu.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/paginated_menu.sh b/lib/paginated_menu.sh index 61d860f..901fea4 100755 --- a/lib/paginated_menu.sh +++ b/lib/paginated_menu.sh @@ -116,6 +116,8 @@ EOF # Main interaction loop while true; do + # Drain any burst scroll input so only one navigation step occurs + type drain_pending_input >/dev/null 2>&1 && drain_pending_input draw_menu local key=$(read_key)