Ok, that doesn't make much sense to me. Did you install special plugins?
You are the only one to have the issue so it's something special in your
installation, not sure what though... can you run "dpkg -l | grep gedit"
and copy the output there?

-- 
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

Reply via email to