It was caused by this in my dconf registry: [org/gnome/gedit/plugins] active-plugins=@as []
"dconf reset -f /org/gnome/gedit/plugins/" fixes it -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gedit in Ubuntu. https://bugs.launchpad.net/bugs/1540713 Title: Tools drop-down menu displays as all empty (3.18.2) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1540713/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
