Skip to content

search: do not run if there are no documents open

Eric Armbruster requested to merge work/no-docs-search-fix into master

Since recently there are cases where no document is open (e.g. only a welcomeview), we need to make sure the search plugin does not start a search in these cases, as it is not handled correctly.

The search won't stop otherwise.

Merge request reports