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
Shift + Enternow also opens a new tab
- Fixed symbol view height if you only had a couple of top level symbols