Looking through the journalctl, I saw Global App Menu and also Pixel Saver were having problems. Hopefully these issues can be fixed. Though it seems we shouldn't hold out hope for GAM as the author discontinued it: http://www.omgubuntu.co.uk/2017/09/gnome-global-menu-extension- discontinued
-- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1714989 Title: gnome-shell crashed with SIGSEGV in g_type_check_instance_cast() from st_label_set_text() from ffi_call_unix64() [dash-to-panel specific?] To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1714989/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
