-
Oliver Bock authored
* 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
4ce88264