edu.rice.cs.drjava.ui
Class ReverseHighlighter.DrJavaHighlightPainter

java.lang.Object
  javax.swing.text.LayeredHighlighter.LayerPainter
      javax.swing.text.DefaultHighlighter.DefaultHighlightPainter
          edu.rice.cs.drjava.ui.ReverseHighlighter.DrJavaHighlightPainter

All Implemented Interfaces:

Highlighter.HighlightPainter

Enclosing class:

ReverseHighlighter

public static class ReverseHighlighter.DrJavaHighlightPainter
extends DefaultHighlighter.DefaultHighlightPainter

This class is a wrapper for the DefaultHighlightPainter that allows us to tell whether a highlight was requested by DrJava or by Swing (as in selected text).

Constructor Summary

ReverseHighlighter.DrJavaHighlightPainter(Color c)

Method Summary

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

ReverseHighlighter.DrJavaHighlightPainter

public ReverseHighlighter.DrJavaHighlightPainter(Color c)