Ticket #1298 (closed defect: fixed)
Changing font in preferences is not applied to existing editors
|Reported by:||dolmen||Owned by:|
When the font is changed using the preference dialog, the new font is only applied to editors created after that change. Existing editors are not updated.
- Status changed from closed to reopened
- Version changed from 0.89 to 0.93
- Resolution fixed deleted