Re: gedit & LaTeX
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
begin:vcard
fn:adrien@lacadee-mounet.fr
n:Jeser;Adrien
x-mozilla-html:FALSE
version:2.1
end:vcard
Reply to: