Pour GtkSourceView, la version de debian ne marchait pas (peut-être même qu'elle ne passait pas le configure), donc j'ai installé à la main la 2.6.2.
Par contre, pour gtk, c'est celui de lenny: 2.12.12-1~lenny1
Je viens de tester la recherche incrémentale de gedit, effectivement ça satisfait mes besoins.
PS;: à l'occasion, si tu veux que je teste des trucs, tu peux me passer un mail.
[^] # Re: Gnome ou gtk ?
Posté par mac_is_mac (site web personnel) . En réponse au journal LaTeXila 0.0.1, enfin un éditeur LaTeX pour GNOME. Évalué à 2.
Par contre, pour gtk, c'est celui de lenny: 2.12.12-1~lenny1
Je viens de tester la recherche incrémentale de gedit, effectivement ça satisfait mes besoins.
PS;: à l'occasion, si tu veux que je teste des trucs, tu peux me passer un mail.