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

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

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


Constructor Summary
WSJTextArea.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

WSJTextArea.WSJHighlightPainter

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