nl.cwi.sen1.gui.plugin.editor
Class JaggedHighlightPainter

java.lang.Object
  javax.swing.text.LayeredHighlighter.LayerPainter
      javax.swing.text.DefaultHighlighter.DefaultHighlightPainter
          nl.cwi.sen1.gui.plugin.editor.JaggedHighlightPainter

All Implemented Interfaces:

javax.swing.text.Highlighter.HighlightPainter

public class JaggedHighlightPainter
extends javax.swing.text.DefaultHighlighter.DefaultHighlightPainter

Constructor Summary

JaggedHighlightPainter(java.awt.Color color)

Method Summary

java.awt.Shape

paintLayer(java.awt.Graphics g, int offs0, int offs1, java.awt.Shape bounds, javax.swing.text.JTextComponent c, javax.swing.text.View view)

Methods inherited from class javax.swing.text.DefaultHighlighter.DefaultHighlightPainter

getColor, paint

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JaggedHighlightPainter

public JaggedHighlightPainter(java.awt.Color color)

Method Detail

paintLayer

public java.awt.Shape paintLayer(java.awt.Graphics g,
                                 int offs0,
                                 int offs1,
                                 java.awt.Shape bounds,
                                 javax.swing.text.JTextComponent c,
                                 javax.swing.text.View view)

Overrides:

paintLayer in class javax.swing.text.DefaultHighlighter.DefaultHighlightPainter