[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[cp-patches] [Patch] javax.swing.text.DefaultHighlighter
From: |
Michael Koch |
Subject: |
[cp-patches] [Patch] javax.swing.text.DefaultHighlighter |
Date: |
Sun, 26 Sep 2004 19:46:51 +0200 |
User-agent: |
Mutt/1.5.6+20040722i |
Hi list,
I just merged the attached patch from java-gui-branch.
Michael
2004-09-26 Michael Koch <address@hidden>
* javax/swing/text/DefaultHighlighter.java
(drawsLayeredHighlights): New field.
(getDrawsLayeredHighlights): New method.
(setDrawsLayeredHighlights): Likewise.
high.diff
Description: Text document
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [cp-patches] [Patch] javax.swing.text.DefaultHighlighter,
Michael Koch <=