Fix project properties widget
Fix project properties widget
Fixed file save issue where NoneType exception was raised on None file system watcher
Merging.
Update and sort gitignore
Fix for #1671
Fix for #1677
Code style improvements here and there
Code improvement
Code improvement
testing ui design improves
pep8 fixes
Merge branch 'master' of github.com:diegosarmentero/ninja-ide
os specific improves
more improves in combo style
Merge pull request #1718 from diegosarmentero/master

several improves in the ui design
improving after margin area
Merge pull request #1719 from diegosarmentero/master

improving after margin area
adding new locator ui, not connected yet
more improves in the new code locator ui