Le 31/03/2011 22:08, Christophe Gallaire a écrit : > Adrien Jeser a dit dans un souffle : >> Pour modifier la barre d'outils, tu peux édité le fichier : >> /usr/share/gedit-2/ui/gedit-ui.xml > > Heu... je crois qu'il s'agit plutôt de la barre d'outils propre(s) au > plugin > LaTeX sous gedit... > > @+ > > Christophe >
Excuse moi :) Il faut alors édité /usr/lib/gedit-2/plugins/GeditLaTeXPlugin/base/config.py. Je concède que c'est pas l'idéale. Je ne vois pas d'autre issue. Apluche
<<attachment: adrien.vcf>>
