UrlBar: Implement filtering
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