Good to know, thanks. I'll do that if it happens again, or for any other bug actually.
I don't see any 'Extensions' app (and I don't remember installing any extension) but i can execute 'gnome-extensions list' (same result without '--enabled' option): me@myComputer:~$ gnome-extensions list --enabled desktop-icons@csoriano ubuntu-appindicat...@ubuntu.com ubuntu-d...@ubuntu.com Do I have to do something once they are disabled? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1910938 Title: Text is missing from shell panel and menus To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1910938/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
