12.1.  Réglages...

Dans la boîte de dialogue Paramètres [Settings], vous avez accès à presque toutes les options de paramétrage.[118]

Boîte de dialogue "Préférences [Settings]

Boîte de dialogue "Préférences [Settings]

Dans le menu de gauche, sélectionnez la zone de réglage souhaitée :




[118] Dans de rares cas ou pour des réglages purement administratifs, l'accès n'est éventuellement possible que via un fichier de configuration.