frontend

Class MyHighlighter

java.lang.Object

javax.swing.text.LayeredHighlighter

javax.swing.text.DefaultHighlighter

frontend.MyHighlighter

All Implemented Interfaces:

javax.swing.text.Highlighter

public class MyHighlighter
extends javax.swing.text.DefaultHighlighter

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.text.DefaultHighlighter

javax.swing.text.DefaultHighlighter.DefaultHighlightPainter

Nested classes/interfaces inherited from class javax.swing.text.LayeredHighlighter

javax.swing.text.LayeredHighlighter.LayerPainter

Nested classes/interfaces inherited from interface javax.swing.text.Highlighter

javax.swing.text.Highlighter.Highlight, javax.swing.text.Highlighter.HighlightPainter

Field Summary

Fields inherited from class javax.swing.text.DefaultHighlighter

DefaultPainter

Constructor Summary

Constructors

Constructor and Description
MyHighlighter()

Method Summary

Modifier and Type	Method and Description
void	deinstall(javax.swing.text.JTextComponent c)
void	install(javax.swing.text.JTextComponent c)
void	paint(java.awt.Graphics g) Same algo, except width is not modified with the insets.

Methods inherited from class javax.swing.text.DefaultHighlighter

addHighlight, changeHighlight, getDrawsLayeredHighlights, getHighlights, paintLayeredHighlights, removeAllHighlights, removeHighlight, setDrawsLayeredHighlights

Methods inherited from class java.lang.Object

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

Constructor Detail

MyHighlighter

public MyHighlighter()

Method Detail

install

public final void install(javax.swing.text.JTextComponent c)

Specified by:

install in interface javax.swing.text.Highlighter

Overrides:

install in class javax.swing.text.DefaultHighlighter

See Also:

DefaultHighlighter.install(javax.swing.text.JTextComponent)

deinstall

public final void deinstall(javax.swing.text.JTextComponent c)

Specified by:

deinstall in interface javax.swing.text.Highlighter

Overrides:

deinstall in class javax.swing.text.DefaultHighlighter

See Also:

DefaultHighlighter.deinstall(javax.swing.text.JTextComponent)

paint

public final void paint(java.awt.Graphics g)

Same algo, except width is not modified with the insets.

Specified by:

paint in interface javax.swing.text.Highlighter

Overrides:

paint in class javax.swing.text.DefaultHighlighter

See Also:

DefaultHighlighter.paint(java.awt.Graphics)