[794] Progreammer: properly disable start/stop/restart menu actions
[795] Programmer: set restart key shortcut to Widget context