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