<HTML><HEAD></HEAD>
<BODY dir=ltr>
<DIV dir=ltr>
<DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'; COLOR: #000000">
<DIV>(Fedora 19 x64)</DIV>
<DIV> </DIV>
<DIV>Hello everybody,</DIV>
<DIV> </DIV>
<DIV>No gedit's menu's "Edit Preferences" entry. Is it a bug or a deliberate
omission ? </DIV>
<DIV>Would it be however possible to configure gedit by some other means ?</DIV>
<DIV> </DIV>
<DIV>Quicksort</DIV></DIV></DIV></BODY></HTML>