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 version de ce plugin directement issue des dépôts...
Dépendance oblige. Mais bon, là n'est pas le problème.
Il me reste à régler deux trois petites choses pour être parfaitement à mon
aise.
Je ne parviens pas à trouver le moyen de personnaliser la barre d'outils de
gedit. C'est dommage.
Par ailleurs, j'aimerais savoir s'il est possible de personnaliser les
raccourcis pour que, par exemple, le Crtl+i donne \texit{} ou le Crtl+b
\textbf{}, etc., ce genre de commande que je tape trente fois en 5 minutes !
@+
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