Este complemento está disponible desde el gedit-plugins
paquete. Aparte de cuál es su nombre y descripción breve, no hay otra información útil sobre el uso del complemento.
¿Alguien sabe cómo usar este complemento?
Active el complemento de comandante desde Edit -> Preferences ->Plugins Tab
allí, verifique el complemento de comandante.
Ahora haga clic Edit -> Commander Mode
y verá un símbolo del sistema en la parte inferior.
Aquí hay un extracto de la página del complemento Commander en las Bibliotecas Gnome :
Tab + Tab
/ foo
- Esto encontrará la palabra foo.// foo bar
- Esto reemplazará foo con barra.go [line number]
o simplementeg [line number]
bookmark
o simplementeb
Encontré este artículo sobre gedit-commander
en el sitio web de GNOME; Debería ser realmente útil. La página de inicio de git-hub del proyecto también contiene más información.
Parece que la página del complemento Commander ya no está, pero aún puede acceder al texto de ayuda desde el menú gedit, al menos en v3.4.1: Ayuda -> Contenido -> Configurar y usar complementos gedit -> Complementos gedit / Commander adicionales .