[cp-patches] [Patch][gui] PlainDocument and DefaultEditorKit

[Michael Koch]

Hi list,


I just commited the attached patch to load files into
javax.swing.text.PlainDocument and to display it correctly.
This patch makes it possible to actually read (the top) of the
GPL in the JEdit 4.2 installer.


Michael


2005-01-21  Michael Koch  <address@hidden>

        * javax/swing/text/DefaultEditorKit.java
        (read): Added '\n' after each line.
        * javax/swing/text/PlainView.java
        (modelToView): Update metrics.
        (drawLine): Use offsets from element.
        (paint): Update metrics. Draw all lines.

swing.diff
Description: Text document