org.grinvin.gred
Class GraphEditor
JFrame
org.grinvin.gred.GraphEditor
- HasURI
public class GraphEditor
extends JFrame
Graph editor window.
GraphEditor
public GraphEditor(MutableEmbeddingModel model,
MutableAnnotationModel annotation,
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.
getAnnotation
public Annotation getAnnotation()
Get the annotation for the current graph in the editor.
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.
isDirty
public boolean isDirty()
Check whether the editor is 'dirty'.
setAdvancedToolbar
public void setAdvancedToolbar(boolean show)
setDirty
public void setDirty(boolean dirty)
Set the 'dirty' flag of the editor.
setGraph
public void setGraph(EmbeddingView newEmbedding,
AnnotationView newAnnotation)
Load (a copy of) the given embedding into the editor.
showAdvancedToolbar
public boolean showAdvancedToolbar()
showAdvancedToolbar
public void showAdvancedToolbar(boolean show)