improving how the checkers interact with the editor, the sidebarwidget and the tab icon
Merge pull request #1334 from diegosarmentero/master

improving how the checkers interact with the editor, the sidebarwidget and the tab icon