Этот плагин доступен из пакета gedit-plugins
. Кроме его названия и краткого описания, нет другой полезной информации об использовании плагина.
Кто-нибудь знает, как использовать этот плагин?
Активируйте плагин командующего от Edit -> Preferences ->Plugins Tab
, там проверьте плагин командующего.
Теперь нажимают Edit -> Commander Mode
, и Вы будете видеть командную строку внизу.
Вот выборка от страница плагина Командующего на Библиотеках Gnome :
Tab + Tab
/ foo
- Это найдет нечто слова. // foo bar
- Это заменит нечто панелью. go [line number]
или всего g [line number]
bookmark
или всего b
Я нашел эта статья приблизительно gedit-commander
на веб-сайте GNOME; это должно быть действительно полезно. GitHub дом проекта также содержит дополнительную информацию.
Похоже, что страницы плагина Командующего не стало теперь, но можно все еще получить доступ к тексту справки из gedit меню, по крайней мере, в v3.4.1: Справка-> Содержание-> Настраивает и использует gedit Плагины-> Дополнительные gedit Плагины/Командующий .