next up previous contents index
Next: Configuration Générale Up: Le Système de Base Previous: Types de valeurs

Préférences

Les options de préférences générales sont stockées dans le domaine de Window Maker , ie: dans le fichier #(HOME)/GNUstep/Defaults/WindowMaker.

Changer les options de préférences va automatiquement modifier le session courante de Window Maker, même sans un redémmarage. Quelques options nécessite un redémarrage de Window Maker pour prendre effet. Ces options sont marquées par une * .

Il faut noter que les valeurs marquée Default sont les valeurs effectives si une option n'est pas spécifiée, à la place des valeurs d'usine par défaut qui sont appliquées dans le fichier de préférences.



 


Yann MORERE morere@univ-valenciennes.fr Copyleft 99