odoo / owl

OWL: A web framework for structured, dynamic and maintainable applications
https://odoo.github.io/owl/
Other
1.14k stars 344 forks source link

[FIX] devtools: update search results on tree change #1532

Closed juliusc2066 closed 1 year ago

juliusc2066 commented 1 year ago

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.