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 configure gedit by some other means ? If you are running GNOME, click on the gedit icon on the top panel Rahul
-- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org