Fix grammar
Merge pull request #1400 from diegosarmentero/master

checkers integration with editor complete
Merge pull request #1401 from diegosarmentero/master

Show the symbol for the current cursor position
Merge pull request #1405 from diegosarmentero/master

fixing show current symbol, fix update checkers, bookmarks and breakpoints data
Merge pull request #1406 from diegosarmentero/master

showing project name and menus
Merge pull request #1407 from diegosarmentero/master

update current project when more than one project is opened
Merge pull request #1358 from rolandgeider/master

Fix grammar
Merge pull request #1431 from diegosarmentero/master

adding splash, updating tree project
Merge pull request #1433 from diegosarmentero/master

Partial refactoring of the whole explorer area.
Merge pull request #1434 from diegosarmentero/master

simplified processing improved
Added osx workaround for windows not raising to the front on startup
Merge github.com:ninja-ide/ninja-ide
Merge pull request #1438 from diegosarmentero/master

add to project, and project properties complete
Merge pull request #1439 from diegosarmentero/master

misc_container renamed to tools_dock, close project support
Merge pull request #1440 from diegosarmentero/master

several improves in tree projects methods
corrected tab/spaces mix on osx fix
Merge pull request #1435 from perrito666/master

Fixed window being in background in osx
Merge pull request #1442 from diegosarmentero/master

several improves in tree exploreer and symbols complete
Merge pull request #1443 from diegosarmentero/master

improves in explorer and tabs
Merge pull request #1447 from diegosarmentero/master

adding covio and travis files