Добавить шрифты в PL / SQL Developer - PullRequest
3 голосов
/ 17 ноября 2010

Как я могу добавить больше шрифтов в PL / SQL Developer? Должен ли я использовать файл font.properties?

1 Ответ

4 голосов
/ 17 ноября 2010

Чтобы изменить шрифты, используемые в различных окнах (в частности, в различных браузерах, редакторах и сетках), нажмите «Инструменты», затем «Настройки», затем щелкните запись «Шрифты» в разделе «Пользовательский интерфейс» диалогового окна «Настройки».Чтобы изменить шрифт для определенного элемента, нажмите кнопку «Выбрать» для элемента, который вы хотите изменить, и внесите изменения.

Поделитесь и наслаждайтесь.

...