Bug#721758: gedit: Preferences menu option missing. Old preferences still applied.

[Mauro Fontana]

​Seems this issue is still present as of today.

I can't see any information about such a big issue in gedit's bug tracking
system.​ My guess is it's a problem with some version of GTK or Gnome
library present in Stretch.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20151003/a7882179/attachment.html>