$ dpkg -l | grep gedit
ii gedit 3.10.4-0ubuntu4
amd64 official text editor of the
GNOME desktop environment
ii gedit-common 3.10.4-0ubuntu4
all official text editor of the
GNOME desktop environment (support files)
Doesn't look like this tells us much, does 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/1391012
Title:
The preferences menu in gedit is missing.
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1391012/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
