web-dev-qa-db-fra.com

plugin gedit pour mettre en évidence toutes les instances de sélection

En utilisant gedit 3, j'ai essayé plusieurs plugins pour mettre en évidence toutes les instances de la sélection actuelle (comme le Notepad ++):

https://code.google.com/p/smart-highlighting-gedit/

https://github.com/mmuell23/mmuell2

La mise en surbrillance semblera s’installer et me permettra de l’activer, mais ne semblera rien faire.

Celui de github a été écrit pour la v2. Pour essayer de pirater la v3, j'ai essayé:

  • changez .gedit-plugin en juste .plugin
  • éditez IAge=2 pour lire IAge=3

Celui-ci ne sera toujours pas chargé (n'apparaît pas dans la liste prefs->plugins). Ne jette pas d'erreur, ne charge pas. De plus, je ne trouve nulle part les journaux gedit pour voir s’il ya un message utile (je suis relativement nouveau sur Linux). J'ai vérifié /var/logs/ mais il n'y a pas de gedit.

Quelqu'un peut-il aider? Je veux juste que la mise en surbrillance automatique fonctionne.

geditplugins
6
Allen

Vous n'avez besoin d'aucun plugin pour mettre en évidence toutes les instances d'une sélection dans gedit. Sélectionnez le texte qui vous intéresse, puis appuyez simplement sur Ctrl+F (pour rechercher toutes les occurrences de ce texte sélectionné):

gedit - highlight text

Maintenant, laissez-moi vous donner quelques explications sur ces plugins. Le premier, smart-highlighting fonctionne comme un charme pour moi. Comment j'ai fait:

  • J'ai d'abord vérifié ma version de gedit (à partir d'un terminal avec la commande gedit --version) - il s'agit de 3.6.2.
  • Parce que ma version de gedit est 3.6.2, j'ai téléchargé smart-highlighting-3.0.5.tar.gz .
  • Enfin, j'ai suivi la méthode installation manuelle .

Deuxième plugin, c'est pour gedit2.x et finir. Ce n'est pas assez d'un simple bidouillage comme vous l'avez essayé.

[MISE À JOUR]

Ne fonctionne que si installé sur ~/.local/share/gedit/plugins/. Plus dans les commentaires.

4
Radu Rădeanu

J'utilise Ubuntu 19.04, gedit 3.32 et gedit-plugins qui ont le plugin "Quick High":

$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description:    Ubuntu 19.04
Release:    19.04
Codename:   disco

$ gedit --version
gedit - Version 3.32.0

Sudo apt install gedit-plugins

puis l'activer manuellement dans Préférences - Plugins

enable gedit plugin

0
mauek unak