* Alternative shortcuts are required when menu is hidden
  -> Actions won't be trigged otherwise
  -> Save/restore widget visibility states
  -> Shortcuts pending for actions: run, pause, stop
* Black window background when in fullscreen mode
* Also: finally implemented menu hide feature
* Also: added license info to about dialog