Skip to content
Commit 87de502f authored by Dennis Nienhüser's avatar Dennis Nienhüser
Browse files

Do not replace search term with search result name

Information about the search result is now shown in a dialog, so this
information is redundant and having the original search term is better
for refining it in another search.
parent bce0c02f
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment