org.ginsim.gui.shell.callbacks

Class EditCallBack

java.lang.Object

org.ginsim.gui.shell.callbacks.EditCallBack

public class EditCallBack
extends Object

Callbacks for the "File" menu

Field Summary

Fields

Modifier and Type	Field and Description
protected static Graph	copiedSubGraph

Constructor Summary

Constructors

Constructor and Description
EditCallBack()

Method Summary

Modifier and Type	Method and Description
static void	addEditEntries(JMenu menu, GraphGUI<?,?,?> gui) Create and populate an Edit menu

Methods inherited from class java.lang.Object

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

Field Detail

copiedSubGraph

protected static Graph copiedSubGraph

Constructor Detail

EditCallBack

public EditCallBack()

Method Detail

addEditEntries

public static void addEditEntries(JMenu menu,
                                  GraphGUI<?,?,?> gui)

Create and populate an Edit menu

Parameters:

gui - a graph