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