Skip to content

search: Exit search when there is no text

Maximiliano requested to merge close-search-when-no-text into master

Fixes: #443 (closed)

Merge request reports