Replace corner widget by the control panel (as in 3.0).

This looks better on Mac and Windows. Corner widget was fine only on Gnome...
Add a settings to disable the liner (Edit->Preferences->Editor->Show Errors)

Close #46