=== Class7_ is now known as Class7 [20:31] hello, i use classic gnome with 18.04 and the menu item "Applications" is dead. pushing that has no effect. no menu opens. i tried to disable and re-enable related features via gnome-tweaks (gnome-tweak-tool does not exist?) [20:31] what can i do to fix this, please?