oracle.ide.ceditor

Class ScrollTipPlugin

java.lang.Object

oracle.ide.ceditor.ScrollTipPlugin

All Implemented Interfaces:

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

public class ScrollTipPlugin
extends java.lang.Object
implements EditorPlugin

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	SHOW_SCROLLTIP_PLUGIN_PROPERTY

Constructor Summary

Constructors

Constructor and Description
ScrollTipPlugin()

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)
void	setRenderer(ScrollTipRenderer renderer)

Methods inherited from class java.lang.Object

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

Field Detail

SHOW_SCROLLTIP_PLUGIN_PROPERTY

public static java.lang.String SHOW_SCROLLTIP_PLUGIN_PROPERTY

Constructor Detail

ScrollTipPlugin

public ScrollTipPlugin()

Method Detail

setRenderer

public void setRenderer(ScrollTipRenderer renderer)

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