Giters

oohg / ide

OOHG's integrated development environment

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Preferences are no saved or read

fyurisich opened this issue · comments

commented

Some properties are not saved to the INI file.
Some properties are read from the INI file