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, Impression (couleurs, numéros de ligne, en-tête et pied de page, mise en page), Assistant IA (si un document entier est envoyé sans demander, modification de fichiers par le moteur) 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.
Police de l'éditeur¶
Général ▸ Police de l'éditeur / Taille de la police définit la police à chasse fixe dans laquelle chaque vue de l'éditeur affiche le texte — y compris les volets scindés, la minimap et les fichiers avec coloration syntaxique (les thèmes ne font que colorer le texte ; ils ne changent jamais la police). La liste ne propose que des polices à chasse fixe. La valeur par défaut dépend de la plateforme : Consolas sous Windows, Menlo sous macOS, DejaVu Sans Mono sous Linux. Si la police configurée n'est pas installée sur cette machine (par exemple des réglages importés d'un autre système), l'éditeur se rabat sur la police à chasse fixe du système d'exploitation, de sorte que le texte reste toujours aligné en colonnes. Les modifications s'appliquent à tous les onglets ouverts dès que vous cliquez sur Appliquer ou OK ; Affichage ▸ Zoom agrandit l'affichage par-dessus la taille configurée.
Rendu de la fenêtre¶
Général ▸ Rendu de la fenêtre décide de la façon dont l'éditeur dessine sa propre fenêtre :
| Mode | Ce qu'il signifie |
|---|---|
| GPU (recommandé) | Le défaut. La fenêtre est composée par votre carte graphique dès l'instant où elle s'ouvre. |
| CPU | La fenêtre est composée par le processeur à la place. |
Ce réglage existe à cause de l'aperçu HTML : son moteur de navigateur doit être composé par la carte graphique, et en mode CPU la fenêtre doit être recréée pour lui faire place — d'où le clignotement unique de la fenêtre de l'éditeur à la première ouverture de cet aperçu. GPU évite le clignotement et c'est le mode sur lequel rester. Passez à CPU seulement si la fenêtre elle-même se comporte mal sur votre machine (mal dessinée, ou pas du tout).
Le mode est fixé pour la durée d'exécution de l'éditeur : un changement prend effet
après un redémarrage, que la page vous propose. Si la fenêtre est déjà inutilisable
et que vous n'atteignez plus les Préférences, démarrez l'éditeur une fois avec
--rendering=cpu
et réglez l'option depuis là.
Ce réglage n'est pas emporté par l'import & export des paramètres : que la composition par le GPU fonctionne est une propriété de la machine, pas de votre configuration.
Extensions¶
La page Extensions liste toutes les extensions que l'éditeur a trouvées, chargées ou non. La colonne État indique si chacune fonctionne et, sinon, pourquoi — une extension ne reste donc jamais inactive sans explication :
| État | Signification |
|---|---|
| Activée / Désactivée | Votre choix ; une modification s'applique après un redémarrage. |
| Nécessite une licence | Une extension payante que la licence actuelle n'active pas. |
| Nécessite le plugin nom, qui n'est pas installé | L'extension dépend d'une autre extension qui n'est pas installée. Installez celle-ci, ou désactivez celle-là. |
| Nécessite le plugin nom, qui est désactivé | L'extension dont elle dépend est désactivée. Activez-la et redémarrez. |
| Nécessite le plugin nom, qui nécessite une licence | L'extension dont elle dépend est une extension payante que la licence actuelle n'active pas. |
| Nécessite le plugin nom, qui ne s'est pas chargé | L'extension dont elle dépend est activée mais n'a pas pu démarrer — sa propre ligne indique pourquoi. |
| Nécessite le plugin nom, qui nécessite à son tour ce plugin | Les deux extensions dépendent l'une de l'autre, aucune ne peut donc démarrer. Signalez-le à leurs auteurs. |
| Nécessite une version plus récente d'OctoEdit | L'extension a été construite pour une version ultérieure de l'éditeur. Mettez l'éditeur à jour, ou installez une version de l'extension prévue pour celle-ci. |
| Incompatible (incompatibilité d'API) | L'extension a été construite pour une version différente et incompatible de l'éditeur. |
Une extension qui ne peut pas fonctionner est affichée en grisé. Une extension dont d'autres dépendent est toujours démarrée avant elles.
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.