Thanks for your bug report, that's not an Ubuntu issue though but one with newer gedit/the ubuntu gnome ppa version
** Package changed: gedit (Ubuntu) => ubuntu-gnome -- 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/1433044 Title: No preferences , gedit 3.12 ubuntu 14.10 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-gnome/+bug/1433044/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
