Giters

oohg / ide

OOHG's integrated development environment

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

RTE after setting a new font in Preferences dialog

fyurisich opened this issue · comments

commented

RTE after setting a new font in Preferences dialog.