Fix grammar
Merge pull request #1395 from perrito666/master

Base project tree
improves in checkers
Merge remote-tracking branch 'upstream/master'
Merge pull request #1396 from diegosarmentero/master

Improves in checkers integration
update highlighter with checkers
Merge pull request #1397 from diegosarmentero/master

update highlighter with checkers
new way to handle images
Merge pull request #1398 from diegosarmentero/master

new way to handle images
checkers integration with editor complete
activate migration tips
remove commented line from editor
Merge pull request #1400 from diegosarmentero/master

checkers integration with editor complete
small improves on run checks on open
showing the current symbol where the cursor is
Merge pull request #1401 from diegosarmentero/master

Show the symbol for the current cursor position
fixing show current symbol, fix update checkers, bookmarks and breakpoints data
Merge pull request #1405 from diegosarmentero/master

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

showing project name and menus