Pluma / Gedit УДАЛИТЬ языки

Мне нравится удалять большинство языков из меню pluma / gedit, где они появляются.

Замечательно, что редакторы поддерживают так много языков. Но большинство из них я никогда не использую. Так что они только на пути, и мне не хватает времени, прокручивая весь день до моих записей.

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

Или мне нужно получить источники и исправить там проблемы? Более 90% времени я использую только 3 или 4 языка или обычный текст. Я думаю, что другие пользователи имеют аналогичную модель использования, конечно, с разными языками.

1
задан 20 January 2018 в 01:26

0 ответов

Другие вопросы по тегам:

Похожие вопросы: