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

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

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

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

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

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

0 ответов

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

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