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

2013-07-20 Thread Craig Goodyear
On 07/19/2013 04:26 PM, Rahul Sundaram wrote: Hi On Fri, Jul 19, 2013 at 5:17 PM, Quicksort wrote: 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 ? If you are running GNOME, click on th

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

2013-07-19 Thread Quicksort
Thank you Rahul for your fast and decisive reply. Quicksort Le 19/07/2013 23:26, Rahul Sundaram a écrit : Hi On Fri, Jul 19, 2013 at 5:17 PM, Quicksort wrote: No gedit's menu's "Edit Preferences" entry. Is it a bug or a deliberate omission ? Would it be however possible to con

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

2013-07-19 Thread Quicksort
(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-- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options:

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

2013-07-19 Thread Rahul Sundaram
Hi On Fri, Jul 19, 2013 at 5:17 PM, Quicksort wrote: > > 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 ? > > If you are running GNOME, click on the gedit icon on the top panel Rahul --