Table of Contents

Gedit

Gedit est l'éditeur de texte Gnome.

Modifier les styles

Les fichiers de conf se situent, sous centOS (7.4), dans /usr/share/gtksourceview-3.0. Chaque langage possède un fichier qui classifie les mots et leur attribue un type (language-specs/<LANGAGE>.lang), et un autre fichier qui associe les types à des styles (styles/<THEME>.xml).

Coloration syntaxique

Pour le langage Boo, je veux surligner les commentaires préfixés par # pour les différencier de ceux introduits par // :

# ajouter la ligne suivante, dans la partie "<styles>"
<style id="comment2"          _name="Comment2"            map-to="def:comment2"/>
# plus loin dans le fichier, affecter ce type "comment2" aux "c-style-line-comment" :
<context id="c-style-line-comment" style-ref="comment2" end-at-line-end="true" class="comment2" class-disabled="no-spell-check">
# créer un nouvel alias de couleur :
<color name="creme"      value="#FCFEBF"/>
# dans la partie "Comments", définir le style d'affichage
<style name="def:comment2"                foreground="blue" background="creme"/>

Association des fichiers

Je veux associer le style du langage Boo aux fichiers textes/log/de conf par défaut, c'est-à-dire pour que le style Boo soit appliqué dès leur ouverture ; pour cela éditer le fichier /usr/share/gtksourceview-3.0/language-specs/boo.lang et modifier la ligne <property name=“globs”> :

# les extensions de fichier sont séparées par des ";"
    <property name="globs">*.boo;*.txt;*.log;*.conf</property>