|
JGraphpad Pro
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use JGraphEditorFile | |
| com.jgraph | Contains the main framework classes |
| com.jgraph.editor | Contains the main elements of the JGraph Editor Framework |
| com.jgraph.pad | Defines the elements of the application document model |
| com.jgraph.pad.action | Provides actions to be used in the kit |
| com.jgraph.pad.factory | Implements factory methods for constructing the UI |
| Uses of JGraphEditorFile in com.jgraph |
| Methods in com.jgraph with parameters of type JGraphEditorFile | |
protected void |
JGraphpadDemo.JGraphpadDemoFileAction.doSaveFile(JGraphEditorFile file,
boolean forceFilenameDialog,
boolean urlDialog)
Replaces the saveFile action with an error message. |
protected void |
JGraphpadDemo.JGraphpadDemoFileAction.doSaveFile(JGraphEditorFile file,
boolean forceFilenameDialog,
boolean urlDialog)
Replaces the saveFile action with an error message. |
| Uses of JGraphEditorFile in com.jgraph.editor |
| Methods in com.jgraph.editor that return JGraphEditorFile | |
JGraphEditorFile |
JGraphEditorModel.getFileByFilename(String filename)
Returns the file for the specified filename if it is in the model or null if no such file exists. |
static JGraphEditorFile |
JGraphEditorModel.getParentFile(TreeNode node)
Returns the parent file for node or the node itself, if it
is a file. |
JGraphEditorFile |
JGraphEditorModel.getFileByFilename(String filename)
Returns the file for the specified filename if it is in the model or null if no such file exists. |
static JGraphEditorFile |
JGraphEditorModel.getParentFile(TreeNode node)
Returns the parent file for node or the node itself, if it
is a file. |
| Methods in com.jgraph.editor with parameters of type JGraphEditorFile | |
void |
JGraphEditorModel.setFilename(JGraphEditorFile file,
String filename)
Sets the filename of the specified file and dispatches a notification event. |
void |
JGraphEditorModel.setModified(JGraphEditorFile file,
boolean modified)
Sets the modified state of the specified file and dispatches a notification event. |
void |
JGraphEditorModel.setFilename(JGraphEditorFile file,
String filename)
Sets the filename of the specified file and dispatches a notification event. |
void |
JGraphEditorModel.setModified(JGraphEditorFile file,
boolean modified)
Sets the modified state of the specified file and dispatches a notification event. |
| Uses of JGraphEditorFile in com.jgraph.pad |
| Classes in com.jgraph.pad that implement JGraphEditorFile | |
class |
JGraphpadFile
Represents a file in the JGraphpad editor. |
class |
JGraphpadLibrary
Represents a library in the JGraphpad editor. |
| Uses of JGraphEditorFile in com.jgraph.pad.action |
| Methods in com.jgraph.pad.action that return JGraphEditorFile | |
static JGraphEditorFile |
JGraphpadFileAction.getPermanentFocusOwnerFile()
Returns the diagram for the permanent focus owner diagram pane. |
| Methods in com.jgraph.pad.action with parameters of type JGraphEditorFile | |
protected void |
JGraphpadFileAction.doSaveFile(JGraphEditorFile file,
boolean forceFilenameDialog,
boolean urlDialog)
Saves the specified file displaying a filename dialog if the filename is not set or if forceFilenameDialog is true. |
protected void |
JGraphpadFileAction.doOpenFile(String filename,
JGraphEditorFile file)
Opens the specified filename using JGraphEditorModel.addFile(String) if a file for the specified
name is not already open. |
protected void |
JGraphpadFileAction.doCloseFile(JGraphEditorFile file,
boolean remove)
Closes the specified file by removing it from the parent. |
protected void |
JGraphpadFileAction.doNewDiagram(JGraphEditorFile file)
Inserts a new empty diagram into the specified file. |
protected boolean |
JGraphpadFileAction.isLibrary(JGraphEditorFile file)
Returns true if the specified file is a library. |
| Uses of JGraphEditorFile in com.jgraph.pad.factory |
| Methods in com.jgraph.pad.factory with parameters of type JGraphEditorFile | |
void |
JGraphpadPane.addFile(JGraphEditorFile file)
Adds an internal frame for the specified file to the desktop pane. |
void |
JGraphpadPane.removeFile(JGraphEditorFile file)
Removes the internal frame for the specified file from the desktop pane. |
void |
JGraphpadPane.updateFileTitle(JGraphEditorFile file)
Updates the internal frame title for the specified file. |
void |
JGraphpadPane.removeDiagram(JGraphEditorFile previousParent,
JGraphEditorDiagram diagram)
Removes the diagram pane for the specified diagram from the tabbed pane in the previous parent's internal frame. |
protected String |
JGraphpadPane.getFileTitle(JGraphEditorFile file)
Hook for subclassers to return the internal frame title for a file. |
|
JGraphpad Pro
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||