Re: gedit & LaTeX (HS)

2011-04-01 Par sujet Christophe Gallaire
moi-meme a dit dans un souffle : Le Thu, 31 Mar 2011 17:00:04 +0200, Christophe Gallaire a écrit : Je viens d'adopter pour un temps, je pense, après avoir abandonné Texmaker, gedit avec son plugin dédié : http://www.michaels-website.de/gedit-latex-plugin/ as tu regardé kile ? Ben.

Re: gedit & LaTeX (HS)

2011-03-31 Par sujet moi-meme
Le Thu, 31 Mar 2011 17:00:04 +0200, Christophe Gallaire a écrit : > Je viens d'adopter pour un temps, je pense, après avoir abandonné > Texmaker, gedit avec son plugin dédié : > http://www.michaels-website.de/gedit-latex-plugin/ as tu regardé kile ? -- Lisez la FAQ de la liste

Re: gedit & LaTeX

2011-03-31 Par sujet Adrien Jeser
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... >

Re: gedit & LaTeX

2011-03-31 Par sujet Christophe Gallaire
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 d

Re: gedit & LaTeX

2011-03-31 Par sujet Adrien Jeser
Pour modifier la barre d'outils, tu peux édité le fichier : /usr/share/gedit-2/ui/gedit-ui.xml <>

Re: gedit & LaTeX

2011-03-31 Par sujet Christophe Gallaire
aker, gedit avec son plugin dédié : http://www.michaels-website.de/gedit-latex-plugin/ Sous Debian, quand on n'utilise pas la version TeXLive des dépôts, il est impossible d'utiliser la version de ce plugin directement issue des dépôts... Dépendance oblige. Mais bon, là n'est pas le pr

Re: gedit & LaTeX

2011-03-31 Par sujet Adrien Jeser
uche! Le 31/03/2011 16:53, Christophe Gallaire a écrit : > Bonjour, > > Je viens d'adopter pour un temps, je pense, après avoir abandonné > Texmaker, > gedit avec son plugin dédié : > http://www.michaels-website.de/gedit-latex-plugin/ > > Sous Debian, quand on n'ut

gedit & LaTeX

2011-03-31 Par sujet Christophe Gallaire
Bonjour, Je viens d'adopter pour un temps, je pense, après avoir abandonné Texmaker, gedit avec son plugin dédié : http://www.michaels-website.de/gedit-latex-plugin/ Sous Debian, quand on n'utilise pas la version TeXLive des dépôts, il est impossible d'utiliser la versi