Eberhard Graether 8baf8cd49b ui: Fixes for search bar ...

* fixed clicking on search element did not focus search bar
* fixed moving cursor between elements
* no smart pointers for search elements to fix deletion issues

2017-11-03 14:44:07 +01:00

..

images

ui: Added second line to search autocompletion list showing namespace or filepath

2016-10-31 22:41:17 +01:00

search_view.css

ui: Fixes for search bar

2017-11-03 14:44:07 +01:00