From 939dcc9295a431a82ad04d4eaa083c67ea3961a7 Mon Sep 17 00:00:00 2001 From: Greyson Parrelli Date: Thu, 14 Aug 2025 16:11:19 -0400 Subject: [PATCH] Jump to search result while typing in debuglog viewer. --- debuglogs-viewer/lib/src/main/assets/debuglogs-viewer.js | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/debuglogs-viewer/lib/src/main/assets/debuglogs-viewer.js b/debuglogs-viewer/lib/src/main/assets/debuglogs-viewer.js index f7b48a2377..ed6a417089 100644 --- a/debuglogs-viewer/lib/src/main/assets/debuglogs-viewer.js +++ b/debuglogs-viewer/lib/src/main/assets/debuglogs-viewer.js @@ -151,6 +151,13 @@ function onToggleCaseSensitive() { function onSearchInput(value) { input = value; + highlightAllMatches(input); + editor.find(input, { + backwards: false, + wrap: true, + skipCurrent: false, + caseSensitive: isCaseSensitive, + }); } function onSearch() {