wajnon,
Проблема оказалась в том, что в GNOME 3 (перешёл на него только на днях) меню параметров находится не в окне gedit, а в верхней панели, где отображается открытое окно (не помню как называется). На сколько я помню в Unity этот пункт, как и нужно, находится в меню Правка.