Skip to content

Commit

Permalink
Check for the search panel being disabled before initiating a search
Browse files Browse the repository at this point in the history
  • Loading branch information
Col-E committed Jun 29, 2024
1 parent 2d2d3ab commit a2e349b
Showing 1 changed file with 4 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -152,6 +152,10 @@ protected PathNodeTree newTree() {
* Initiates the search with current search inputs. Updates the output display.
*/
protected final void search() {
// Skip if the panel has been disabled (occurs when closing it).
// Sometimes the delay between searching and the user closing will initiate a search after closing.
if (isDisabled()) return;

// Must have a current workspace to search in.
Workspace workspace = workspaceManager.getCurrent();
if (workspace == null)
Expand Down

0 comments on commit a2e349b

Please sign in to comment.