|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of GraphPanel in nl.cwi.sen1.gui.plugin |
---|
Fields in nl.cwi.sen1.gui.plugin with type parameters of type GraphPanel | |
---|---|
private java.util.Map<java.lang.String,GraphPanel> |
GraphPainter.graphs
|
Methods in nl.cwi.sen1.gui.plugin that return GraphPanel | |
---|---|
private GraphPanel |
GraphPainter.getPanel(java.lang.String graphType,
java.lang.String graphId)
|
Methods in nl.cwi.sen1.gui.plugin with parameters of type GraphPanel | |
---|---|
private javax.swing.JMenu |
GraphPainter.createGraphMenu(GraphPanel panel,
java.lang.String initialLayout,
java.lang.String graphId,
java.lang.String id)
|
private javax.swing.JMenu |
GraphPainter.createLayoutMenu(javax.swing.JMenu menu,
GraphPanel panel,
java.lang.String initial)
|
private javax.swing.JMenu |
GraphPainter.createTogglesMenu(javax.swing.JMenu menu,
GraphPanel panel,
java.lang.String graphId,
java.lang.String id)
|
private void |
GraphPainter.setPanel(java.lang.String graphType,
java.lang.String graphId,
GraphPanel panel)
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |