FAQ
Cover
\
Build
\
Source
\
Bugs
\
Reference
\
Libraries
\
Tools
The bugs database has moved
here
.
Bug 437 : Font size change requires restart of editor
Last modified: 2006-11-10 13:08
P
roject:
processing
trash
Version:
unspecified
Co
m
ponent:
android
book
core
libraries
pde
reference
tools
web
Status:
RESOLVED
Resolution:
INVALID -
Pr
i
ority:
P2
Severity:
normal
Platform
All
O
S:
All
Windows
Mac OS
Linux
Other
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 ;-)