Préférences

Vous pouvez modifier les paramètres dans l’onglet "Préférences" puis les différents onglets qui sont encadrés dans le panneau à gauche. Pour que les modification des préférences soient prises en compte, il faut enregistrer et rafraichir le navigateur. Seules quelques préférences sont décrites dans cette page.