edu.upenn.cis.pdtb.graphics
Class WSJTextPane.WSJHighlightPainter

java.lang.Object
  extended byjavax.swing.text.LayeredHighlighter.LayerPainter
      extended byjavax.swing.text.DefaultHighlighter.DefaultHighlightPainter
          extended byedu.upenn.cis.pdtb.graphics.WSJTextPane.WSJHighlightPainter
All Implemented Interfaces:
javax.swing.text.Highlighter.HighlightPainter
Enclosing class:
WSJTextPane

public class WSJTextPane.WSJHighlightPainter
extends javax.swing.text.DefaultHighlighter.DefaultHighlightPainter


Constructor Summary
WSJTextPane.WSJHighlightPainter(java.awt.Color c)
           
 
Methods inherited from class javax.swing.text.DefaultHighlighter.DefaultHighlightPainter
getColor, paint, paintLayer
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WSJTextPane.WSJHighlightPainter

public WSJTextPane.WSJHighlightPainter(java.awt.Color c)