Uses of Interface
marvin.plugin.MarvinToolPlugin

Packages that use MarvinToolPlugin

Package	Description
marvin.gui	Provides classes to manipulate interface components.
marvin.plugin	Provides classes and interfaces to create plug-ins.

Uses of MarvinToolPlugin in marvin.gui

Methods in marvin.gui that return MarvinToolPlugin

Modifier and Type	Method and Description
MarvinToolPlugin	MarvinToolPanel.getCurrentTool()

Methods in marvin.gui with parameters of type MarvinToolPlugin

Modifier and Type	Method and Description
void	MarvinToolPanel.addTool(MarvinToolPlugin tp)

Uses of MarvinToolPlugin in marvin.plugin

Classes in marvin.plugin that implement MarvinToolPlugin

Modifier and Type	Class and Description
class	MarvinAbstractToolPlugin