Bug 437 : Font size change requires restart of editor
Last modified: 2006-11-10 13:08




Status:
RESOLVED
Resolution:
INVALID -
Priority:
P2
Severity:
normal

 

Reporter:
mkn
Assigned To:
fry

Attachment Type Created Size Actions

Description:   Opened: 2006-11-10 12:51
Not a biggie, but I guess it better be reported anyway. :)

When the font size is changed in the editor preferences the mouse mapping
is all weird. When editor is restarted, everything works as expected.
Additional Comment #1 From fry 2006-11-10 13:08
that's why in the last few releases it says "requires restart" next to that
preference ;-)