oracle.ide.ceditor

Class BreadcrumbsPlugin

java.lang.Object

oracle.ide.ceditor.BreadcrumbsPlugin

All Implemented Interfaces:

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

public class BreadcrumbsPlugin
extends java.lang.Object
implements EditorPlugin

Plugin to add a breadcrumbs component to the editor. This is class adds the component to the editor and deals with the general preferences. By default the breadcrumbs have no model, one must be supplied by an implementation for the appropriate code type.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	BREADCRUMB_PLUGIN_PROPERTY This property is set on editors that contain a breadcrumbs plugin.
protected JBreadcrumbs	breadcrumbs
protected BasicEditorPane	editor

Constructor Summary

Constructors

Constructor and Description
BreadcrumbsPlugin()

Method Summary

Methods

Modifier and Type	Method and Description
protected JBreadcrumbs	createBreadcrumbs()
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)

Methods inherited from class java.lang.Object

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

Field Detail

breadcrumbs

protected JBreadcrumbs breadcrumbs

editor

protected BasicEditorPane editor

BREADCRUMB_PLUGIN_PROPERTY

public static final java.lang.String BREADCRUMB_PLUGIN_PROPERTY

This property is set on editors that contain a breadcrumbs plugin. The value is the BreadcrumbsPlugin instance.

See Also:

Constant Field Values

Constructor Detail

BreadcrumbsPlugin

public BreadcrumbsPlugin()

Method Detail

createBreadcrumbs

protected JBreadcrumbs createBreadcrumbs()

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