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 -- Christophe Gallaire Attention ! Suppression des mails entrants dont la taille est supérieure à 2Mo !N'envoyez, s'il vous plaît, que des pièces jointes en formats ouverts. ---------------
Nouveau carnet de route : http://www.road2mayotte.org/blook --------------- Timeline Identi.ca : https://identi.ca/road2mayotte/ --------------- Clé de chiffrement : 7803AAAA
Attachment:
signature.asc
Description: Digital signature