UrlBar: Implement filtering

Merged Waqar Ahmed requested to merge work/filter-fixes into master

This change adds basic filtering support. How is filtering done? Simple

  • You open a directory
  • You start typing => a line edit appears showing you the characters you typed and filters using that.
  • If you press backspace and remove everything from lineedit, the lineedit hides.

Further possible improvements:

  • Use fuzzy filtering
  • Make the line edit beautiful maybe


Minor fixes

  • Shift + Enter now also opens a new tab
  • Fixed symbol view height if you only had a couple of top level symbols
Edited by Waqar Ahmed

Merge request reports