======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 ''<nowiki>//</nowiki>'' :
    * les 2 sont déjà classifiés différemment, mais le même style leur est assigné ; dans le fichier ''language-specs/boo.lang'' :
<code bash>
# 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">
</code>
     * puis dans le fichier de style du theme que j'utilise : classic : ''styles/classic.xml''
<code bash>
# 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"/>
</code>

=====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">'' :
<code bash>
# les extensions de fichier sont séparées par des ";"
    <property name="globs">*.boo;*.txt;*.log;*.conf</property>
</code>