Class StandardTools
java.lang.Object
org.graffiti.plugin.GenericPluginAdapter
org.graffiti.plugin.EditorPluginAdapter
org.graffiti.plugins.modes.defaults.StandardTools
- All Implemented Interfaces:
EditorPlugin
,GenericPlugin
public class StandardTools extends EditorPluginAdapter
This plugin contains the standard editing tools.
- Version:
- $Revision: 1.9 $
-
Field Summary
Fields inherited from class org.graffiti.plugin.EditorPluginAdapter
tools
-
Constructor Summary
Constructors Constructor Description StandardTools()
Creates a new StandardTools object. -
Method Summary
Modifier and Type Method Description void
configure(Preferences prefs)
Sets the preferences in all tools this plugin provides.Methods inherited from class org.graffiti.plugin.EditorPluginAdapter
getAttributeComponents, getGUIComponents, getInspectorTabs, getModes, getShapes, getTools, getValueEditComponents
Methods inherited from class org.graffiti.plugin.GenericPluginAdapter
doBeforeExit, getAddonIcon, getAlgorithms, getAttributeDescriptions, getAttributes, getDefaultView, getDependencies, getExtensions, getGraphPostProcessors, getIcon, getInputSerializers, getOutputSerializers, getURLattributeActions, getViews, interrupt, isSelectionListener, isSessionListener, isViewListener, needsEditComponents, setIsAddon, stop
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface org.graffiti.plugin.GenericPlugin
doBeforeExit, getAlgorithms, getAttributeDescriptions, getAttributes, getDefaultView, getDependencies, getExtensions, getIcon, getInputSerializers, getOutputSerializers, getURLattributeActions, getViews, interrupt, isSelectionListener, isSessionListener, isViewListener, needsEditComponents, stop
-
Constructor Details
-
StandardTools
public StandardTools()Creates a new StandardTools object.
-
-
Method Details
-
configure
Sets the preferences in all tools this plugin provides.- Specified by:
configure
in interfaceGenericPlugin
- Overrides:
configure
in classGenericPluginAdapter
- Parameters:
prefs
- the preferences node for this plugin.- See Also:
GenericPlugin.configure(Preferences)
-