Как увеличить шрифт консоли Tide SDK

Согласно инструкциям по сборке TideSDK для Ubuntu, TideSDK представляет собой GTK2. заявление.

Таким образом, вы можете управлять шрифтом, установив шрифт GTK по умолчанию.

Этот ответ расскажет вам, как это сделать. ПРИМЕЧАНИЕ. Если приложение явно устанавливает шрифт в коде, то весь этот ответ не применяется.

Может быть способ изменить настройку шрифта GTK по умолчанию через какой-нибудь графический интерфейс в Ubuntu, но я обычно использую метод rc-файла.

Это означает создание файлов настроек в вашем домашнем каталоге, которые читает GTK.

Вот файлы, связанные с GTK, в моем собственном домашнем каталоге.

hobbes@metalbaby:~$ ls -al .gtk*
-rw-r--r-- 1 hobbes hobbes  37 Feb 14 11:49 .gtkrc-1.2-gnome2
-rw-r--r-- 1 hobbes hobbes  37 Feb 14 11:49 .gtkrc-2.0
-rw-r--r-- 1 hobbes hobbes 107 May 20 11:45 .gtkrc.hobbes

И содержимое каждого файла:

.gtkrc-1.2-gnome2

include '/home/hobbes/.gtkrc.hobbes'

.gtkrc-2.0

include '/home/hobbes/.gtkrc.hobbes'

.gtkrc.hobbes

style "terminus"
{
font_name = "Terminus"
}
widget_class "*" style "terminus"
gtk-font-name = "Terminus 8"

Обратите внимание на использование include для применения одних и тех же настроек к более чем одной версии приложения GTK. В моей системе это заставляет emacs и Eclipse использовать шрифт Terminus 8 в меню и диалоговых окнах.

В Arch Linux есть вики-страница с большим количеством общей информации о настройках GTK. Я не думаю, что это был тот ресурс, который я использовал при создании этих файлов, но, тем не менее, это хороший ресурс.

Если вы имеете в виду TideSDK Developer как консоль, это просто приложение, созданное и объединенное с помощью TideSDK. Чтобы изменить размер шрифта, просто настройте CSS в приложении и перестройте его с помощью TideSDK. Вы можете получить исходники с https://github.com/TideSDK/TideSDK-Developer, сделать изменения, импортируйте в свой существующий Developer, создайте, и все готово. Разработчик TideSDK немного устарел.

Возможно, вы не знаете о новом продукте, который мы запускаем в ближайшее время. Я и другие ключевые специалисты TideSDK сосредоточили свои усилия на TideKit, который имеет совершенно новый интерфейс командной строки, приложение и сервисы для поддержки сборок. Вы можете найти новый сайт по адресу http://www.tidekit.com и следить за нашими разработками на http://twitter.com/tidekit. В отличие от TideSDK, который был предназначен только для настольных компьютеров, TideKit — это наше новое решение «Разработай один раз и разверни везде» для разработки мобильных, веб- и настольных приложений из единого источника кода на JavaScript. Приложения TideSDK можно будет перенести, если у вас есть существующий код. Вот наше промо-видео: http://youtu.be/aE7gN-d0GhU