Préférences

La boîte de dialogue Préférences regroupe les paramètres de l'éditeur en catégories. Les pages intégrées comprennent Général (avec la section sauvegarde des fichiers), Raccourcis (réassigner le raccourci clavier de n'importe quelle commande), Coloration syntaxique, Complétion automatique, Coloration intelligente, Associations de fichiers et Extensions (activer/désactiver les extensions installées). Les extensions apportent leurs propres pages de paramètres, qui apparaissent aux côtés des pages intégrées — par exemple Éditeur de thèmes, Indentation et Statistiques du document.

Note

L'activation ou la désactivation d'une extension prend effet au prochain démarrage — l'éditeur ne charge ni ne décharge jamais le code d'une extension en cours d'exécution.