Watch, Follow, &
Connect with Us
Public Report
Report From: JBuilder/Editor/Options    [ Add a report in this area ]  
Report #:  3117   Status: Closed
Changing font causes caret position errors
Project:  JBuilder Build #:  8.0.140.0
Version:    8.0 Submitted By:   Ray Tran
Report Type:  Basic functionality failure Date Reported:  12/12/2002 8:20:41 AM
Severity:    Serious / Highly visible problem Last Updated: 5/2/2003 12:58:35 PM
Platform:    All versions Internal Tracking #:  
Resolution: Duplicate (Resolution Comments) Resolved in Build: : None
Duplicate of:  2719
Voting and Rating
Overall Rating: (1 Total Rating)
2.00 out of 5
Total Votes: None
Description
If the font is changed from the default, the caret is drawn in the wrong position.
Steps to Reproduce:
Select Editor Options from the Tools menu.

Select the Display tab

Change the Font Family to Lucida Console

Click OK

Try to move the caret to the end of a line, particularly one which has code-highlighting.
Workarounds
None
Attachment
None
Comments

John McGrath at 12/14/2002 4:51:20 AM -
JBuilder's editor is configured to use fixed pitch fonts.  When you select Tools | Editor Options | Display for the first time, JBuilder scans the fonts on your system to determine which fonts have a fixed pitch.  If a font is not fixed-pitch, it is not added to the "Font family" combo box.

The problem here is that the font scanner does not look at all of the styles of the font (BOLD, ITALIC, BOLD_ITALIC), so if the characters of one style have a different width than those of another style, the font scanner will still consider it a fixed pitch font.

If JBuilder did consider the different styles, the font scan would take a lot longer -- four times as long to scan the BOLD, ITALIC, and BOLD_ITALIC styles in addition to PLAIN.  And all that would get you is that fonts that do not match that test would be eliminated from the list, so you could not use them.  So just don't use them.

Server Response from: ETNACODE01