edu.mit.csail.sdg.alloy4
Class OurHighlighter

java.lang.Object
  edu.mit.csail.sdg.alloy4.OurHighlighter

All Implemented Interfaces:

javax.swing.text.Highlighter.HighlightPainter

public final class OurHighlighter
extends java.lang.Object
implements javax.swing.text.Highlighter.HighlightPainter

Graphica highlighter.

Thread Safety: Can be called only by the AWT event thread.

Field Summary

java.awt.Color

color The color to use when drawing highlights.

Constructor Summary

OurHighlighter(java.awt.Color color)
Construct a highlighter with the given color.

Method Summary

void	paint(java.awt.Graphics gr, int start, int end, java.awt.Shape shape, javax.swing.text.JTextComponent text) This method is called by Swing to draw highlights.

Methods inherited from class java.lang.Object

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

Field Detail

color

public final java.awt.Color color

The color to use when drawing highlights.

Constructor Detail

OurHighlighter

public OurHighlighter(java.awt.Color color)

Construct a highlighter with the given color.

Method Detail

paint

public void paint(java.awt.Graphics gr,
                  int start,
                  int end,
                  java.awt.Shape shape,
                  javax.swing.text.JTextComponent text)

This method is called by Swing to draw highlights.

Specified by:

paint in interface javax.swing.text.Highlighter.HighlightPainter