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!