oracle.javatools.editor.plugins

Class GuardedHighlightPlugin

java.lang.Object

oracle.javatools.editor.plugins.GuardedHighlightPlugin

All Implemented Interfaces:

java.beans.PropertyChangeListener, java.util.EventListener, EditorPlugin

public final class GuardedHighlightPlugin
extends java.lang.Object
implements EditorPlugin

Plugin to add a highlight to guarded sections of an editor to indicate they aren't editable.

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT_GUARDED_PRIORITY
static java.lang.String	GUARDED_HIGHLIGHT_NAME

Constructor Summary

Constructors

Constructor and Description
GuardedHighlightPlugin()

Method Summary

Methods

Modifier and Type	Method and Description
void	deinstall(BasicEditorPane editor) Called when the plugin is being removed from the BasicEditorPane (for example when the editor is closed.) This is used to notify plugins that they should unregister any listeners that were attached.
void	install(BasicEditorPane editor) Called when this plugin is being installed into the BasicEditorPane.
void	propertyChange(java.beans.PropertyChangeEvent evt)
static void	registerHighlights()

Methods inherited from class java.lang.Object

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

Field Detail

GUARDED_HIGHLIGHT_NAME

public static final java.lang.String GUARDED_HIGHLIGHT_NAME

See Also:

Constant Field Values

DEFAULT_GUARDED_PRIORITY

public static final int DEFAULT_GUARDED_PRIORITY

See Also:

Constant Field Values

Constructor Detail

GuardedHighlightPlugin

public GuardedHighlightPlugin()

Method Detail

install

public void install(BasicEditorPane editor)

Description copied from interface: EditorPlugin

Called when this plugin is being installed into the BasicEditorPane.

Specified by:

install in interface EditorPlugin

Parameters:

editor - the editor pane

deinstall

public void deinstall(BasicEditorPane editor)

Description copied from interface: EditorPlugin

Called when the plugin is being removed from the BasicEditorPane (for example when the editor is closed.) This is used to notify plugins that they should unregister any listeners that were attached.

Specified by:

deinstall in interface EditorPlugin

Parameters:

editor - the editor pane

propertyChange

public void propertyChange(java.beans.PropertyChangeEvent evt)

Specified by:

propertyChange in interface java.beans.PropertyChangeListener

registerHighlights

public static void registerHighlights()