Что делает и / или предоставляет плагин Gedit под названием "Панель инструментов"?
Что делает плагин Dashboard? В описании написано "Панель инструментов для новых вкладок", но я не вижу, что изменилось после того, как я ее включил, или что позволяет мне делать по-другому. Я не вижу ничего похожего на "приборную панель" нигде.
1 ответ
Плагин Gedit Dashboard использует Zeitgeist для отображения последних или наиболее часто используемых элементов на новых вкладках Gedit. Вы можете искать как недавно, так и наиболее часто используемые элементы, а также, плагин генерирует превью, которые "пытаются перейти непосредственно к некоторому коду или тексту из вашей работы".
Источник: http://www.webupd8.org/2011/11/gedit-dash-new-tab-gedit-plugin-powered.html
Вот несколько скриншотов:
Это то, что он должен делать, НО этого не делает (протестировано в Ubuntu 14.04).
В результате об ошибке было сообщено на Launchpad.