| |
|
| javax.swing.JToolBar com.jgraph.editor.factory.JGraphEditorToolbox
Field Summary | |
public static boolean | SWITCH_BACK Specifies whether the toolbox should select the default button after a
gesture with another tool if the default button exists. | protected AbstractButton | defaultButton References the default tool button which is activated after the use of
any other tool. | protected JGraph | graph References the graph that is currently installed, ie the graph that is
used to interact with the selection tool. | protected BasicMarqueeHandler | previousMarqueeHandler References the previous marquee handler. | protected BasicMarqueeHandler | redirector Holds the marquee redirector. | protected JGraphEditorTool | selectionTool References the tool that is currently selected, ie the tool that is used
to interact with the graph. |
SWITCH_BACK | public static boolean SWITCH_BACK(Code) | | Specifies whether the toolbox should select the default button after a
gesture with another tool if the default button exists. By default, the
default button is assigned to be the first inserted button (see
JGraphEditorFactory.configureToolbox) and the default for this value is
false.
|
defaultButton | protected AbstractButton defaultButton(Code) | | References the default tool button which is activated after the use of
any other tool.
|
graph | protected JGraph graph(Code) | | References the graph that is currently installed, ie the graph that is
used to interact with the selection tool.
|
selectionTool | protected JGraphEditorTool selectionTool(Code) | | References the tool that is currently selected, ie the tool that is used
to interact with the graph.
|
JGraphEditorToolbox | public JGraphEditorToolbox()(Code) | | Constructs a new toolbox.
|
getGraph | public JGraph getGraph()(Code) | | Returns the installed graph.
Returns the installed graph. |
getSelectionTool | public JGraphEditorTool getSelectionTool()(Code) | | Returns the selected tool.
Returns the selected tool. |
setDefaultButton | public void setDefaultButton(AbstractButton defaultButton)(Code) | | Sets the default tool, which is activated after single use of any other
tool.
Parameters: defaultTool - The default tool to be used. |
setGraph | public void setGraph(JGraph newGraph)(Code) | | Sets the installed graph and restores the marquee handler on the
previously installed graph.
Parameters: newGraph - The graph to be installed. |
setSelectionTool | public void setSelectionTool(JGraphEditorTool selectionTool)(Code) | | Sets the selected tool.
Parameters: selectionTool - The tool to be selected. |
|
|
|