Bug 51 : editor font sizes other than 10 cause the caret to show up in the wrong position
Last modified: 2010-06-06 10:03




Status:
RESOLVED
Resolution:
WONTFIX -
Priority:
P5
Severity:
normal

 

Reporter:
fry
Assigned To:
fry

Attachment Type Created Size Actions

Description:   Opened: 2005-07-15 14:46
something is weird with the text metrics as they're being reported on os x.
not sure if this is an apple java bug or what's causing it.
Additional Comment #1 From fry 2005-07-15 14:47
Additional Comment #2 From Casey Watson 2005-12-11 22:11
found in windows and linux 0097
Additional Comment #3 From fry 2006-02-08 12:46
*** Bug 284 has been marked as a duplicate of this bug. ***
Additional Comment #4 From 22samurai 2006-02-09 11:05
In Windows, there is a workaround.

-Change the font to your desired font size in the preferences.
-exit processing.
-re-start processing.

Upon the restart, the caret is re-synced to the proper character width.
Perhaps every variable that uses the font-width is not being updated
properly on the change, but gets initialized properly upon startup.

(using v1.03)
Additional Comment #5 From yesyesnono 2006-11-19 09:08
This also happens on linux (tested on ubuntu breezy).
Additional Comment #6 From fry 2010-06-06 10:03
issue here is that you have to restart processing after changing the font
size, which is a note that we've added to the preferences window a while back.