[ jEdit-devel ] [ jedit-Bugs-539252 ] Font problems: Text area and Console

[SourceForge.net <no...@so...>]

Bugs item #539252, was opened at 2002-04-04 16:37
Message generated for change (Comment added) made by lanciaux
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=539252&group_id=588

Category: editor core
Group: normal bug
Status: Open
Resolution: None
Priority: 5
Submitted By: J. B. Rainsberger (jbrains)
Assigned to: Nobody/Anonymous (nobody)
Summary: Font problems: Text area and Console

Initial Comment:
SCENARIO:



I use Lucida Console, normal weight, 12 point for my 

main editor text area font.



I change the Console to use font Lucida Console, 

normal weight, 10 point.



When I cursor over the main editor text area, the text 

is drawn as bold weight instead of normal weight.



I change the Console back to use Monospace font, 

normal weight.



Now the main editor text area behaves normally.



If you need more detail, just let me know!

----------------------------------------------------------------------

>Comment By: Ludovic Anciaux (lanciaux)
Date: 2003-09-25 20:59

Message:
Logged In: YES 
user_id=553103

Hello - I try to reproduce it again - I didn't made it with 

jE42pre6 ! Do you still encounter trouble ?

----------------------------------------------------------------------

Comment By: J. B. Rainsberger (jbrains)
Date: 2002-05-27 15:48

Message:
Logged In: YES 
user_id=150875

This behavior is the same in jEdit 4.0 final.

----------------------------------------------------------------------

Comment By: J. B. Rainsberger (jbrains)
Date: 2002-04-08 18:47

Message:
Logged In: YES 
user_id=150875

I agree, the settings are independent. That's why it's a 

bug. :)



I found this problem on jEdit 4.0, pre 9, on Windows 2000.



Note, the text area font is the correct family, but it 

paints over as bold. I have attached a screenshot as an 

example.



First, my text area font is set to Lucida Console.

Next, I set the Console font to Lucida Console.

I dismiss the jEdit settings dialog, returning to the 

editor.

I click on the Console, then I click in the text area. 

Where I click in the text area, some text is repainted as 

Bold, rather than Normal weight.



----------------------------------------------------------------------

Comment By: Slava Pestov (spestov)
Date: 2002-04-07 05:21

Message:
Logged In: YES 
user_id=2280

I don't understand. The console font and text area font

settings have nothing to do with each other.



The switching text styles problem was a bug in jEdit 3.2.2;

it should be fixed in 4.0. Which version are you using?

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=539252&group_id=588