пятница, 16 мая 2008 г.

Дополнения для Gedit


Вольный перевод вот этой статьи.

Gedit, основной текстовый редактор среды Gnome, подобно FireFox, включает в себя мощную систему дополнений (плагинов). Имеются удобные модули не только для программистов, но и для обычных пользователей.

Для включения/отключения и конфигурирования дополнений необходимо перейти на вкладку модули в окне параметров редактора.

image_1_1


Небольшая коллекция плагинов устанавливается с gedit по умолчанию, некоторые активны.

Панель обозревателя файлов - добавляет на боковую панель (вызывается через Вид -> Боковая панель, или нажатием F9) вкладку обозревателя файлов, аналогична панели проводника в windows.

Консоль Python - в нижней панели редактора появляется вкладка консоли Python. Сама нижняя панель вызывается по нажатию волшебных клавиш Ctrl + F9, либо через меню Вид -> Нижняя панель

Внешние инструменты - позволяет запускать внешние команды и скрипты оболочки. Модуль настраиваемый, количество внешних команд ограничено фантазией пользователя. Из установленных изначально внешних функций можно отметить вызов команды make в каталоге с документом и запуск окна терминала в каталоге с документом.

Еще несколько интересных плагинов находятся в пакете gedit-plugins. Их можно установить, выбрав необходимый пакет в синаптике, или набрав в окне терминала:

sudo apt-get install gedit-plugins

Вот еще немного полезных дополнений, появляющихся после установки пакета:

Цветовая пипетка - добавляет возможность вызова стандартного диалога для выбора цвета. Запускается из меню Сервис -> Цветовая пипетка.Шестнадцатеричный код выбранного цвета можно сразу же вставить с документ.

Photobucket

Встроенный терминал
- аналогично консоли python, только открывает окно терминала. Как по мне - очень удобно пишешь скрипт - и тестируешь результат в одном окне.

image_1_2

Session Saver
- что-то вроде менеджера сессий для FireFox. Позволяет сохранять и позже восстанавливать сессию - список открытых файлов. Вызывается через меню Файл -> Saved Sessons.

На сайте доступно намного больше плагинов, но устанавливать их нужно вручную. Способы установки могут быть разными, но для большинства плагинов достаточно положить необходимые файлы в каталог ~/.gnome2/gedit/plugins.

На странице дополнений для Gedit имеется список доступных плагинов и документации.

2 комментария:

donatt комментирует...

А паку ~/.gnome2/gedit/plugins. нужно самому создавать? Или она уже есть?

Alex комментирует...

Зависит от дистрибутива, настроек... хз. В убунту 8.04 давеча ставил плагин на смену кодировок - сам создавал.