Использовать разные шрифты для разных языков в geany или другом текстовом редакторе? - PullRequest
0 голосов
/ 26 ноября 2018

В Geany я хочу использовать шрифт (например, «Times New Roman») для латекса и использовать другой шрифт (например, «Courier») для Python.Как это сделать?

Если в Geany нет способа сделать это, можно ли это сделать в других текстовых редакторах.

1 Ответ

0 голосов
/ 08 августа 2019

Что-то близкое можно сделать с Geany , если , то вы не планируете использовать разные языки в одном экземпляре Geany одновременно.Идея состоит в том, чтобы запустить Geany, используя разные каталоги конфигурации для каждого языка.

Скажем, вы используете шрифт Geany по умолчанию "Courier", так что это уже хорошо для Python.Для другого языка, например LaTeX, скопируйте каталог конфигурации по умолчанию, расположенный по адресу ~/.config/geany/, в новое место, например ~/.config/geany_latex.Запустите Geany с помощью команды geany -c ~/.config/geany_latex и измените шрифт на «Times New Roman».Затем запустите Geany с geany или geany -c ~/.config/geany_latex для работы на Python или LaTeX соответственно.Повторите для других языков по желанию.Наконец, установите ярлыки в графическом интерфейсе вашего DE для каждого из разных языков, чтобы избежать необходимости запоминать конкретную команду запуска geany для каждого.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...