Customizing the fonts using the GUI and then writing the config with "Create/Update .mgedrc" doesn't save the font configuration. The fonts are correctly applied to the GUI elements.
Manually changing the values in the config file works and the config then saved using the menu point contains the right values.
Customizing the fonts using the GUI and then writing the config with "Create/Update .mgedrc" doesn't save the font configuration. The fonts are correctly applied to the GUI elements.
Manually changing the values in the config file works and the config then saved using the menu point contains the right values.