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.