Как изменить шрифт (размер / семейство) в PyScripter?

Я только начал заниматься онлайн-курсом по информатике, изучающему Python. Я использую PyScripter, а на сайте примеры находятся в «Source Code Pro». Мне очень нравится этот шрифт, и он уже загрузил его и использовал его в Notepad ++, но я также хотел бы знать, как его использовать в PyScripter, но я не могу найти нигде в панелях редактирования или контекстных меню, которые допускают изменение шрифта. (Кроме того, текст слишком мал).

Я не знаю, является ли Stack Overflow отличным местом для этого, поскольку я думаю, что SO предназначено для реальных проблем с программным обеспечением, но я googled повсюду, и это мое последнее средство.

Любая помощь приветствуется!

Изменить: я использую PyScripter для Python 2.7 (на данный момент) для Windows XP Professional. Я также хотел бы не использовать редакторы скинов, так как я хочу изменить семейство шрифтов.

Конфигурация для этого ответа: Pyscripter 2.4.3.0 (последняя в настоящее время) на Windows XP SP3 с многочисленными шрифтами, уже установленными и доступными в Pyscripter. Установлены Python26 и Python27.

Примечание . Файл справки говорит: «Писклиптер требует использования моноширинных или непропорциональных шрифтов».

Процедура:

  1. Поиск и загрузка исходного кода Pro (v1.017)
  2. Устанавливается в соответствии с инструкциями
  3. Меню инструментов Pyscripter> Опции> Параметры редактора
  4. Вкладка «Экран»> «Шрифт»
  5. Выберите «Исходный код Pro» из списка шрифтов
  6. Выберите стиль и размер, если хотите.
  7. Нажмите OK, чтобы принять параметры шрифта
  8. Нажмите OK, чтобы принять варианты выпуска и применить настройки к текущей среде.
  9. Исходный код Pro теперь является шрифтом по умолчанию

Настройка семейства шрифтов, стиля и размера в Pyscripter: http://i.stack.imgur.com/qhppd.png (WTH, похоже, я слишком хромой, чтобы мне доверяли встраивание изображений или любых гиперссылок … O_o)

Interesting Posts

Перевернутый глиф: растровое изображение> SVG через autotrace> glyph через fontforge

Как я могу загрузить файл шрифта с помощью PIL.ImageFont.truetype без указания абсолютного пути?

Как изменить цвет текста шрифта в легенде?

Django – Новые шрифты?

Инструменты для создания текста в виде растровых изображений (сглаженный текст, пользовательский интервал, прозрачный фон)

Узнайте, какой шрифт matplotlib использует

Как сделать QWebView / QWebPage по умолчанию шрифтом с засечками?

Программно изменить цвет шрифта текста в PDF

Изменение шрифта в виджетах wxPython TextCtrl

Изменение шрифта в PDF-файле