Re: (F19 x64) No gedit's menu's "Edit Preferences" entry.