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

Reply via email to