Module org.autogui

Package org.autogui.swing

Class GuiSwingViewDocumentEditor.SelectionHighlightPainter

java.lang.Object

javax.swing.text.LayeredHighlighter.LayerPainter

javax.swing.text.DefaultHighlighter.DefaultHighlightPainter

org.autogui.swing.GuiSwingViewDocumentEditor.SelectionHighlightPainter

All Implemented Interfaces:

Highlighter.HighlightPainter

Enclosing class:

GuiSwingViewDocumentEditor

public static class GuiSwingViewDocumentEditor.SelectionHighlightPainter
extends DefaultHighlighter.DefaultHighlightPainter

Constructor Summary

Constructors

Constructor	Description
SelectionHighlightPainter()

Method Summary

Modifier and Type	Method	Description
Shape	paintLayer(Graphics g, int offs0, int offs1, Shape bounds, JTextComponent c, 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 Details

SelectionHighlightPainter

public SelectionHighlightPainter()

Method Details

paintLayer

public Shape paintLayer(Graphics g,
 int offs0,
 int offs1,
 Shape bounds,
 JTextComponent c,
 View view)

Overrides:

paintLayer in class DefaultHighlighter.DefaultHighlightPainter