From 4c7f572dbebeba1524bff54372ea4ae3fda3bdcb Mon Sep 17 00:00:00 2001
From: "Julien Carion (juca)" <juca@odoo.com>
Date: Tue, 3 Oct 2023 16:25:40 +0200
Subject: [PATCH] [FIX] devtools: update search results on tree change

This commit ensures that search results are properly updated when the
components tree is updated so that it remains coherent if search results
appear or disappear from the view.
---
 tools/devtools/src/devtools_app/store/store.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/devtools/src/devtools_app/store/store.js b/tools/devtools/src/devtools_app/store/store.js
index cf6b919e..b45e4acc 100644
--- a/tools/devtools/src/devtools_app/store/store.js
+++ b/tools/devtools/src/devtools_app/store/store.js
@@ -115,6 +115,9 @@ export const store = reactive({
     }
     keepEnvLit(details);
     this.activeComponent = details;
+    if (this.componentSearch.search.length) {
+      this.updateSearch(this.componentSearch.search);
+    }
   },
 
   // Select a component by retrieving its details from the page based on its path