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.
Change History (5)
comment:4 Changed 4 years ago by bowtie
- Resolution fixed deleted
- Status changed from closed to reopened
- Version changed from 0.89 to 0.93