org.grinvin.gred
Class GraphEditor
JFrame
org.grinvin.gred.GraphEditor
- HasGraphList
public class GraphEditor
extends JFrame
Graph editor window.
GraphEditor
public GraphEditor(MutableEmbeddingModel model,
GraphContext context,
GraphListModel list)
Create an editor that uses the given embedding model and context.
This constructor is mainly useful when models and contexts should be
shared between editors. In most cases users should use the
no argument constructor.
GraphEditor
public GraphEditor(GraphListModel list)
Default constructor.
getCommandManager
public AttributedCommandManager getCommandManager()
Return the command manager of this editor window.
getEmbedding
public Embedding getEmbedding()
Get the embedding for the current graph in the editor.
getGraph
public Graph getGraph()
Get the current graph in the editor.
getGuidesTool
public GuidesTool getGuidesTool()
Get the guidestool for this editor.
isDirty
public boolean isDirty()
Check whether the editor is 'dirty'.
setDirty
public void setDirty(boolean dirty)
Set the 'dirty' flag of the editor.
setEmbedding
public void setEmbedding(EmbeddingView newEmbedding)
Load (a copy of) the given embedding into the editor.