Parent Directory | Revision Log | Patch
revision 1.3 by mkoch, Sun Sep 26 17:38:36 2004 UTC | revision 1.4 by mkoch, Fri Oct 22 12:44:01 2004 UTC | |
---|---|---|
# | Line 44 import java.awt.Rectangle; | Line 44 import java.awt.Rectangle; |
44 | import java.awt.Shape; | import java.awt.Shape; |
45 | import java.util.Vector; | import java.util.Vector; |
46 | ||
import javax.swing.text.JTextComponent; | ||
import javax.swing.text.View; | ||
47 | public class DefaultHighlighter extends LayeredHighlighter | public class DefaultHighlighter extends LayeredHighlighter |
48 | { | { |
49 | public static class DefaultHighlightPainter | public static class DefaultHighlightPainter |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |