Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix search-in-workspace search result info
Fixes #5698 - fixes an issue where the message `No Results Found.` is displayed as a user types and attempts to search. The problem is that the message is displayed before the search actually completes due to a `update()`. Instead, the update to the widget is performed once the `search-in-workspace-tree` completes it's search and fires the event `onDidChange()`. Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
- Loading branch information