Hello.
jEdit 4.3.1 server mode on Java 1.6.0_17
As you can see, I come from Germany. Here we have some Umlaute, you also call it this
in English. Umlaute have upper dot: Ü
In the default font: Courier New size 12 the upper dots will not be printed. Losing
the focus and return show the dots, but initial you can not see the dots.
With other font sizes it done well, I test 10 and 14. This only happens in size 12.
TIA
Andreas Riedel
Submitted | andreasriedel - 2010-02-23 11:27:39 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | text area and syntax packages |
Status | open | Group | normal bug |
Resolution | None |
2010-02-23 16:13:57 ezust |
I somehow doubt that is something we can fix from jEdit, and is more likely an issue
with your JRE and java font setup. But since I don't use any of those funny letters
anyway, I don't know what I am talking about so you can ignore me if you like.
|
---|---|
2010-02-23 16:35:08 ezust |
although you might try the different antialias settings and font metrics settings
under general options - textarea.
|
2010-02-23 16:52:08 *anonymous |
I've seen some bug reports about jEdit missing a horizontal 1-pixel-high line between each 2 text lines. Can this be the case here? Or are there other characters whose pixels are displayed in the same horizontal line as the missing points? |
2010-02-24 10:06:37 kpouer |
that's strange, I tried
|
2010-02-24 17:19:35 daleanson |
I don't have any problem either, which makes me concur with others that the problem is likely something in your JRE and font installation. Does the problem happen with other fonts? |
2010-02-24 18:00:52 nicarran |
The problem happens to me too when using "Courier New" size 12. |
2010-02-24 18:08:29 *anonymous |
In the bitmap, the dots are also not painted on line 2, right?
|
2010-02-24 18:38:51 nicarran |
> In the bitmap, the dots are also not painted on line 2, right? |
2010-02-24 22:27:10 kpouer |
Are you using Sun's JVM ? You can check that in the activity logs, it appears in the first lines |
2010-02-24 22:35:32 *anonymous |
I reproduced this also with the same font and size you specified. I use Sun JVM, 1.6.0_18.
|
2010-02-24 23:44:57 nicarran |
> Are you using Sun's JVM ? |
2010-02-24 23:58:56 nicarran |
> The problem seems to be that the highlighting of the current line covers |
2010-02-25 08:13:26 kpouer |
But I don't understand, the line highlight is transparent so you should see your accent
isn't it ?
|
2010-02-25 08:29:35 *anonymous |
Actually it's not the line highlight that causes this. It's the caret itself. When
I move to a line above this character, the accent is still shown until the caret blinks
once, then the accent disappears (for the entire line, not just under the caret).
|
2010-02-25 09:38:37 kpouer |
Right, I see now.
|
2010-02-25 09:46:07 *anonymous |
When the caret highlight is one pixel below the ", move up one line and after a second
or so the " will disappear.
|
2010-02-25 10:32:51 *anonymous |
It's definitely a problem with the FontMetrics. getHeight in this case does not leave room for the ", and getMaxAscent is the same as getAscent in this case. If you put this character on the 1st line of the buffer, it will not be shown at all. |
2010-03-27 18:14:24 kerik-sf |
just to say that it had been reported earlier:
|