Je sais comment trouver de nouveaux jeux de couleurs et les modifier légèrement pour les adapter à mon goût. Et je peux les rendre légèrement similaires aux valeurs par défaut.
Ce que je veux faire, cependant, est de modifier légèrement l'un des paramètres par défaut. Pour ce faire, j'ai besoin des fichiers XML de ce schéma ou de la documentation sur la manière d'écrire un jeu de couleurs gedit.
Quelqu'un peut-il m'indiquer le schéma XML par défaut ou la documentation qui les concerne?
Le widget utilisé par gedit est GtkSourceView. Il existe documentation sur le wiki GNOME pour savoir comment créer des schémas de styles, y compris l'emplacement des fichiers.
Je les ai trouvés à cet endroit dans Ubuntu 16.04:
/usr/share/gtksourceview-3.0/styles