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

Fri Jul 19 21:17:35 UTC 2013

(Fedora 19 x64)

Hello everybody,

No gedit's menu's "Edit Preferences" entry. Is it a bug or a deliberate omission ? 
Would it be however possible to configure gedit by some other means ?

Quicksort
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.fedoraproject.org/pipermail/users/attachments/20130719/679872e4/attachment.html>