Giters

oohg / ide

OOHG's integrated development environment

Home Page:https://oohg.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Some font attributes are not displayed

fyurisich opened this issue · comments

commented

Some font attributes are not displayed by Preferences dialog.