From 610c272104659c2260c1cbd6b340d2cfd744caf3 Mon Sep 17 00:00:00 2001 From: "Julien Carion (juca)" Date: Tue, 3 Oct 2023 15:56:39 +0200 Subject: [PATCH] [IMP] devtools: highlight searched components This commit makes the component search more interactive by highlighting the component search results on the page when navigating through them. --- tools/devtools/src/devtools_app/store/store.js | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/devtools/src/devtools_app/store/store.js b/tools/devtools/src/devtools_app/store/store.js index 8ef5aff2..cf6b919e 100644 --- a/tools/devtools/src/devtools_app/store/store.js +++ b/tools/devtools/src/devtools_app/store/store.js @@ -333,6 +333,7 @@ export const store = reactive({ setSearchIndex(index) { this.componentSearch.searchIndex = index; this.selectComponent(this.componentSearch.searchResults[index]); + this.highlightComponent(this.componentSearch.searchResults[index]); }, // Replace the (...) content of a getter with the value returned by the corresponding get method