ui: Fixed search related issues

* select elements when clicking into search bar * fixed crash and single file mode clearing when fulltext search yields no results
2017-07-20 15:55:31 +02:00
parent 3c72ce7459
commit faae66b304
8 changed files with 65 additions and 14 deletions
@@ -41,6 +41,7 @@ public:

 	void clear();
 	void clearCodeSnippets();
+	void clearFile();
 	void clearCaches();

 	const std::set<Id>& getCurrentActiveTokenIds() const;