[Freeciv-Dev] [bug #19900] Font preferences not respected

2013-02-27 Thread Jacob Nevins
Update of bug #19900 (project freeciv): Status:None = Duplicate Open/Closed:Open = Closed ___ Reply to this item at:

[Freeciv-Dev] [bug #19900] Font preferences not respected

2013-01-19 Thread Jacob Nevins
Follow-up Comment #9, bug #19900 (project freeciv): So, I think: * Something like file #16434 has since been applied to S2_4/trunk in patch #3558 * Something like file #16435 has since been applied to trunk only under patch #3469 (4/60, r21935

[Freeciv-Dev] [bug #19900] Font preferences not respected

2013-01-19 Thread Jacob Nevins
Follow-up Comment #10, bug #19900 (project freeciv): On that note: while it seem ORANGE was never implemented, what was its purpose at what should have been its range (simply out of curiosity) ? I've wondered that too. It looks like, prior to r3896

[Freeciv-Dev] [bug #19900] Font preferences not respected

2012-08-26 Thread RafałMużyło
Follow-up Comment #8, bug #19900 (project freeciv): I've looked at the patch from comment #7 again and noticed it could be simplified. At the same time I've decided to split it into two parts - one for the font and the other for style unrelated to the font. A word of explanation about

[Freeciv-Dev] [bug #19900] Font preferences not respected

2012-07-26 Thread RafałMużyło
Follow-up Comment #6, bug #19900 (project freeciv): ...and for a difference, on a topic related note, a minor fix for help label colors - value taken from old Freeciv.h. (that line for font in tooltip doesn't seem to work, but the colors do) (file #16199)

[Freeciv-Dev] [bug #19900] Font preferences not respected

2012-07-26 Thread RafałMużyło
Follow-up Comment #7, bug #19900 (project freeciv): Alright, it's hard to affect a tooltip, if it's not really a tooltip. I was looking at the info popups in city dialog - setting them to monospace makes the formating work again. (file #16201)

[Freeciv-Dev] [bug #19900] Font preferences not respected

2012-07-15 Thread Jacob Nevins
Update of bug #19900 (project freeciv): Summary: Fixed-width font not used = Font preferences not respected ___ Follow-up Comment #4: As such, I'd just like to hear if it does seem to work for anybody else. I confirm