| javax.swing.JApplet biz.hammurapi.web.interaction.InteractionApplet
Inner Class :public static class MyGraph extends JGraph | |
Inner Class :public static class MyEdgeHandle extends EdgeView.EdgeHandle | |
Inner Class :public class MyMarqueeHandler extends BasicMarqueeHandler | |
Inner Class :public class EdStatusBar extends JPanel implements GraphModelListener | |
graph | protected JGraph graph(Code) | | |
statusBar | protected EdStatusBar statusBar(Code) | | |
undoManager | protected GraphUndoManager undoManager(Code) | | |
InteractionApplet | public InteractionApplet()(Code) | | |
connect | public void connect(Port source, Port target)(Code) | | |
getDelete | public Action getDelete()(Code) | | Returns the remove. |
getGraph | public JGraph getGraph()(Code) | | Returns the graph. |
init | public void init()(Code) | | Reads download URL, upload URL and Cookie string.
|
modelChanged | public void modelChanged()(Code) | | Notification that model has changed.
|
setDelete | public void setDelete(Action delete)(Code) | | Parameters: delete - The remove to set. |
setGraph | public void setGraph(JGraph graph)(Code) | | Parameters: graph - The graph to set. |
start | public void start()(Code) | | |
uninstallListeners | protected void uninstallListeners(JGraph graph)(Code) | | |
updateHistoryButtons | protected void updateHistoryButtons()(Code) | | |
valueChanged | public void valueChanged(GraphSelectionEvent e)(Code) | | |
|
|