oohg / ide

OOHG's integrated development environment

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Save/retrieve the preferred font

fyurisich opened this issue · comments

Add support for saving/retrieving the preferred font to/from the project's INI file.
It should default to OOHG's default font.