[ jEdit-devel ] font for Column Ruler plugin

[Keeley, A. <adkeeley@NCIINC.com>]

Hi,
 
I got a wild hair recently and started looking at changing the the column ruler plugin's font to match the gutter and enable anti-aliasing. Changing the font to match the gutter was easy, but to get the anti-aliasing to match the user's settings looks a little more difficult. After the anti-aliasing values are pulled, a RenderingHints object is instanciated in TextAreaPainter. It would be really nice if there was a get method for that object, so I could see it from outside of the package it is in. It would make for a very clean implementation, similar than what is on line 145 of the Gutter class. Is this a good idea or hackish? Thanks.
 
Tony
################################################################################
If you have received this message in error, please contact the sender
immediately and be aware that the use, copying, or dissemination of 
this information is prohibited. This email transmission contains 
information from NCI Information Systems, Inc. that may be considered 
privileged or confidential and is intended solely for the named 
recipient.
################################################################################