|
| |
|
| javax.swing.JPanel
 com.jgraph.pad.factory.JGraphpadPane
| JGraphpadPane | | public class JGraphpadPane extends JPanel (Code) | | Main application panel consisting of a menubar and toolbar, two tabbed panes,
one on the left and one on the bottom, a desktop pane in the center, and a
status bar.
|
| Constructor Summary | |
| public | JGraphpadPane(JGraphEditor editor)
Constructs a new editor pane for the specified enclosing editor. |
| KEY_DESKTOPPANE | | public static String KEY_DESKTOPPANE(Code) | | Defines the key used to identify the navigator split divider location.
|
| KEY_LEFTSPLIT | | public static String KEY_LEFTSPLIT(Code) | | Defines the key used to identify the left split divider location.
|
| KEY_NAVIGATORSPLIT | | public static String KEY_NAVIGATORSPLIT(Code) | | Defines the key used to identify the right split divider location.
setting.
|
| KEY_RIGHTSPLIT | | public static String KEY_RIGHTSPLIT(Code) | | Defines the key used to identify the right split divider location.
setting.
|
| NODENAME_DESKTOPPOPUPMENU | | public static String NODENAME_DESKTOPPOPUPMENU(Code) | | Nodename to be used for the desktop popup menu configuration.
|
| NODENAME_INTERNALFRAMEPOPUPMENU | | public static String NODENAME_INTERNALFRAMEPOPUPMENU(Code) | | Nodename to be used for the desktop popup menu configuration.
|
| internalFrames | | protected Map internalFrames(Code) | | Maps from diagrams to internal frames.
|
| JGraphpadPane | | public JGraphpadPane(JGraphEditor editor)(Code) | | Constructs a new editor pane for the specified enclosing editor.
Parameters:
editor - The editor that contains the pane. |
| addLibrary | | public void addLibrary(JGraphpadLibrary library)(Code) | | Adds the specified library to the library pane.
Parameters:
library - The library to be added. |
| configureDiagramPane | | protected void configureDiagramPane(JGraphEditorDiagramPane diagramPane, JGraphEditorDiagram diagram)(Code) | | Configures the newly created diagram pane to reflect the properties of
the specified diagram. This also installs a listener to keep the
properties of the diagram up-to-date with the graph for the next creation
after persistence.
Parameters:
diagramPane - The diagram pane to be configured.
Parameters:
diagram - The diagram to be configured. |
| getFileTitle | | protected String getFileTitle(JGraphEditorFile file)(Code) | | Hook for subclassers to return the internal frame title for a file. This
implementation returns String.valueOf(file) appending an
asterisk (*) if
JGraphEditorFile.isModified returns true.
Parameters:
file - The file to return the title for. Return the title for file. |
| removeDiagram | | public void removeDiagram(JGraphEditorFile previousParent, JGraphEditorDiagram diagram)(Code) | | Removes the diagram pane for the specified diagram from the tabbed pane
in the previous parent's internal frame.
Parameters:
previousParent - The previous parent file of the removed diagram.
Parameters:
diagram - The diagram to be removed. |
| removeFile | | public void removeFile(JGraphEditorFile file)(Code) | | Removes the internal frame for the specified file from the desktop pane.
Parameters:
file - The file to be removed. |
| setProperty | | public static void setProperty(Map objects, String property, Object value)(Code) | | Utility method to set the property of an object using reflection.
Parameters:
objects - Maps from prefixes to objects.
Parameters:
property - The name of the property to be changed.
Parameters:
value - The value of the property to be set. |
| updateDiagramTitle | | public void updateDiagramTitle(JGraphEditorDiagram diagram)(Code) | | Updates the tab title for the specified diagram in the tabbed pane of the
parent's internal frame. The
JGraphEditorDiagram.getName method
is used to set the tab's title.
Parameters:
diagram - The diagram who's tab should be updated. |
|
|
|