GTKSourceView2 et les styles persos
Ven 10 avril 2009
Parce que la doc de GNOME là-dessus est tellement aride qu'on n'y trouve rien, et que j'ai un peu bataillé avant de trouver et que j'ai pas envie de rechercher :
Si on veut mettre à disposition de toutes les applications utilisant GTKSourceView (comme Gedit, ou Scribes) des thèmes personnalisés pour un utilisateur (et pas installés pour tous les profils), il faut les poser dans le répertoire:
~/.local/share/gtksourceview-2.0/styles/
C'est le cas par exemple pour les styles contenus dans cette archive. Bon, les thèmes proposés cassent pas trois pattes à un canard, mais au moins j'ai appris où est-ce qu'il fallait les copier pour qu'ils soient disponibles.
Allez, tiens, pour que google te retrouve aussi dans la langue de la reine d'Angleterre :
WHERE DO WE NEED TO PUT GTKSOURCEVIEW STYLE (THEME) FILES IF WE WANT THEM AVAILABLE JUST FOR ONE USER?
Answer:
~/.local/share/gtksourceview-2.0/styles/
There we are.