Existe-t-il un plugin gedit qui ajoute des fonctionnalités de recherche?
J'espère ajouter rechercher et remplacer dans la sélection et rechercher dans les fichiers. Avoir une option de recherche dans le menu contextuel serait également pratique.
Pour rechercher dans les fichiers, j'ai trouvé ce plugin: http://oliver.github.com/gedit-file-search/ .
La possibilité de rechercher et de remplacer uniquement le texte sélectionné est demandée depuis des années
( https://bugzilla.gnome.org/show_bug.cgi?id=15001 ) mais je n'ai trouvé aucun plugin pour le faire.
Une liste complète des plugins gedit: http://live.gnome.org/Gedit/Plugins
Est-ce que this plugin de recherche gedit est ce que vous cherchez? Les instructions d'installation se trouvent sur ce site Web.
Ce fil est vraiment ancien, mais voici une petite mise à jour. Pour gedit 3, je recommanderais ce plugin advanced-find sur gedit-file-search, car je n'ai pas pu installer ce dernier avec mon gedit 3.4.1. En outre, cela fonctionne bien.