Giters

oohg / ide

OOHG's integrated development environment

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

IDE's default font is wrong

fyurisich opened this issue · comments

commented

IDE's default font is not being honored. It's always set to IDE's font (verdana 9).