Hi Robert, Am Montag, den 06.03.2006, 03:22 +0100 schrieb Robert Schuster: > Hi, > this is the patch which should make the > DefaultHighlighter.DefaultHighlighterPainter able to paint lines with > different > font sizes. However I cannot really test this because JTextPane cannot display > such documents correctly atm and I do not know whether my approach works for > these documents. > > Ideas, comments?
It looks good. However, I have no idea if it really works. But given that the current impl is not able at all to do such thing, please check it in and we will see later if it works. It cannot get worse than it is (except if it breaks other stuff, which I am confident you will check before ;-) ) /Roman > > 2006-03-02 Robert Schuster <[EMAIL PROTECTED]> > > * javax/swing/text/DefaultHighlighter.java: > (DefaultHighlighter.DefaultHighlightPainter.paint): Rewritten. > > cya > Robert
signature.asc
Description: Dies ist ein digital signierter Nachrichtenteil
