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
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.