mirror of
https://github.com/signalapp/Signal-Android.git
synced 2025-12-20 11:08:31 +00:00
Jump to search result while typing in debuglog viewer.
This commit is contained in:
@@ -151,6 +151,13 @@ function onToggleCaseSensitive() {
|
|||||||
|
|
||||||
function onSearchInput(value) {
|
function onSearchInput(value) {
|
||||||
input = value;
|
input = value;
|
||||||
|
highlightAllMatches(input);
|
||||||
|
editor.find(input, {
|
||||||
|
backwards: false,
|
||||||
|
wrap: true,
|
||||||
|
skipCurrent: false,
|
||||||
|
caseSensitive: isCaseSensitive,
|
||||||
|
});
|
||||||
}
|
}
|
||||||
|
|
||||||
function onSearch() {
|
function onSearch() {
|
||||||
|
|||||||
Reference in New Issue
Block a user