Какой рейтинг вас больше интересует?
|
Дополнения для Gedit2008-05-16 17:25:00 (читать в оригинале)Вольный перевод вот этой статьи. Gedit, основной текстовый редактор среды Gnome, подобно FireFox, включает в себя мощную систему дополнений (плагинов). Имеются удобные модули не только для программистов, но и для обычных пользователей. Для включения/отключения и конфигурирования дополнений необходимо перейти на вкладку модули в окне параметров редактора. Небольшая коллекция плагинов устанавливается с gedit по умолчанию, некоторые активны. Панель обозревателя файлов - добавляет на боковую панель (вызывается через Вид -> Боковая панель, или нажатием F9) вкладку обозревателя файлов, аналогична панели проводника в windows. Консоль Python - в нижней панели редактора появляется вкладка консоли Python. Сама нижняя панель вызывается по нажатию волшебных клавиш Ctrl + F9, либо через меню Вид -> Нижняя панель Внешние инструменты - позволяет запускать внешние команды и скрипты оболочки. Модуль настраиваемый, количество внешних команд ограничено фантазией пользователя. Из установленных изначально внешних функций можно отметить вызов команды make в каталоге с документом и запуск окна терминала в каталоге с документом. Еще несколько интересных плагинов находятся в пакете gedit-plugins. Их можно установить, выбрав необходимый пакет в синаптике, или набрав в окне терминала: sudo apt-get install gedit-plugins Вот еще немного полезных дополнений, появляющихся после установки пакета: Цветовая пипетка - добавляет возможность вызова стандартного диалога для выбора цвета. Запускается из меню Сервис -> Цветовая пипетка.Шестнадцатеричный код выбранного цвета можно сразу же вставить с документ. Встроенный терминал - аналогично консоли python, только открывает окно терминала. Как по мне - очень удобно пишешь скрипт - и тестируешь результат в одном окне. Session Saver - что-то вроде менеджера сессий для FireFox. Позволяет сохранять и позже восстанавливать сессию - список открытых файлов. Вызывается через меню Файл -> Saved Sessons. На сайте доступно намного больше плагинов, но устанавливать их нужно вручную. Способы установки могут быть разными, но для большинства плагинов достаточно положить необходимые файлы в каталог ~/.gnome2/gedit/plugins. На странице дополнений для Gedit имеется список доступных плагинов и документации.
|
Категория «Бизнес»
Взлеты Топ 5
Падения Топ 5
Популярные за сутки
|
Загрузка...
BlogRider.ru не имеет отношения к публикуемым в записях блогов материалам. Все записи
взяты из открытых общедоступных источников и являются собственностью их авторов.
взяты из открытых общедоступных источников и являются собственностью их авторов.