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 missing

fyurisich opened this issue · comments

commented

Some font attributes are not displayed when font is changed to OOHG's default.