When the (pinyin) font is changed for the first time ever, the change is immediately reflected in the 'Editor' (Flashcard list). Any subsequent changes to the font in this are subsequent sessions, requires a restart of ZDT to take effect.
1. While the font is still Arial, change the font to Times New Roman. -> The font in the list does NOT change.-> The font in the Flashcard test also does NOT change.
2. Clicking on the heading changes from Arial to the old font, not to Times New Roman.
3. Close ZDT and Restart ZDT.
4. Double click again on a category -> font is properly changed to Times New Roman.
(similar behavior was observed with v0.9.0, but then it required 2 restarts)
(not sure about category, so selected 'core')
Because the workaround is easy: a restart of ZDT, and because it is not uncommon for software to accept configuration changes until after restart, the priority is set to 3. Besides, it is mostly cosmetic.