Interface utilisateur

Remonter à Boîte de dialogue Options des outils

Outils > Options > Interface utilisateur

Spécifie les préférences de configuration de l'interface utilisateur.

Barre de titre

Elément	Description
Style	Bascule entre "Style de l'EDI" et "Système" pour correspondre au style actuel d'interface utilisateur de votre système.

Fonte de l'EDI

Elément	Description
Personnaliser la fonte de l'EDI	Activer l'édition des options de fonte de l'EDI
Nom	Définir la fonte de l'EDI
Taille	Définir la taille de fonte de l'EDI
Exemple	Permet de prévisualiser vos modifications.

Remarque: Les modifications apportées à l'EDI ne sont pas effectives tant que l'EDI n'a pas été redémarrée.

Ancrage

Elément	Description
Ancrage auto. par glissement	Pour les fenêtres non ancrées, vous permet d'ancrer les fenêtres d'outils en faisant glisser le cadre d'une fenêtre sur une autre fenêtre. Si cette option est sélectionnée, l'appui sur la touche CTRL pendant le déplacement d'une fenêtre désactive la fonction. Si cette option n'est pas sélectionnée, appuyez sur la touche CTRL pour l'activer.

Pages enfant

• Inspecteur d'objets
• Palette
  • Couleurs
• Visionneuse de différences
• Visionneuse de fusions
• Editeur
  • Terminaisons de ligne
  • Rechercher
  • Tabulations
  • Barre d'état
  • Langage
  • Couleur
    • Mise en surbrillance structurelle
  • Affichage
  • Affectations de touches
• Menu Rouvrir
• Style de l'EDI
• Structure
• Concepteur de fiches
  • Aperçu instantané FireUI
  • Gestionnaire de périphériques
  • Haute résolution