adding new locator ui, not connected yet
more improves in the new code locator ui
bold fonts
fixed greater and lower than icons
new code locator almost ready
location code locator fixed
filter activation complete
code locator jump to line improved
clickeable filters in code locator popup
new code locator complete
Merge branch 'master' of https://github.com/diegosarmentero/ninja-ide
removing unused code
Merge remote-tracking branch 'upstream/master'

Conflicts:
	ninja_ide/core/settings.py
Merge pull request #1721 from diegosarmentero/master

New Code Locator COMPLETE!
code locator open items with click
Merge pull request #1722 from diegosarmentero/master

code locator open items with click
Merge branch 'master' of https://github.com/ninja-ide/ninja-ide into fix/preferences_minimap
Dummy Commit ReSync