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