|
|
The caret in the editor does not line up with the characters. |
| When using certain fonts are used, and when the editor's syntax highlighting is configured to display certain elements in bold, the caret sometimes does not get positioned properly.
This is because 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. So JBuilder positions the caret based on the assumption that the font has a fixed pitch, when actually the bold characters are a little wider. The result is that the caret is misplaced.
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.
| |
| When using certain fonts are used, and when the editor's syntax highlighting is configured to display certain elements in bold, the caret sometimes does not get positioned properly. This is because 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. So JBuilder positions the caret based on the assumption that the font has a fixed pitch, when actually the bold characters are a little wider. The result is that the caret is misplaced. 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. 2002-Dec-14 6:55am JPMcGrath@JPMcGrath.net | |
| [Append to This Answer] | |
| 2002-Dec-14 6:56am |
| ||||||||
|
Java Community
Java Tools |
Code Central JB OpenTools |
Community Recent Threads |
Borland Chat Chat FAQ |
||||||||||||||
|
Feature Matrices 3.0 | 3.5 | 4.0 5.0 | 6.0 | 7.0 |
Shop for JBuilder |
JBuilder Downloads and reg keys |
Report Piracy | ||||||||||||||
|
Online Manuals 4.0 | 5.0 | 6.0 7.0 |
Borland DevSupport's Bug/RFE Form Quality Central Client |
JB Patches & Updates |
JBuilder FAQs TIs | ||||||||||||||
|
JBuilder Newsgroups |
Tamaracka's News Archive |
Mr. Haki's JBuilder Machine |
JGuru's JBuilder FAQ |
||||||||||||||
|
Sun's Bug Parade |
|||||||||||||||||
|
|||||||||||||||||