The Meta-Environment API

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

java.lang.Object
  extended by javax.swing.text.LayeredHighlighter.LayerPainter
      extended by javax.swing.text.DefaultHighlighter.DefaultHighlightPainter
          extended by nl.cwi.sen1.gui.plugin.editor.BracketHighlightPainter
All Implemented Interfaces:
javax.swing.text.Highlighter.HighlightPainter

 class BracketHighlightPainter
extends javax.swing.text.DefaultHighlighter.DefaultHighlightPainter


Constructor Summary
BracketHighlightPainter(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

BracketHighlightPainter

BracketHighlightPainter(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

The Meta-Environment API