public void initialize(Workspace workspace) {
}
public void select(Workspace workspace) {
GraphController gc = Lookup.getDefault().lookup(GraphController.class);
GraphModel gm = gc.getModel();
contextPanel.refreshModel(gm);
}
public void unselect(Workspace workspace) {
}
public void close(Workspace workspace) {
}
public void disable() {
contextPanel.refreshModel(null);
}
});
if (pc.getCurrentWorkspace() != null) {
GraphModel gm = pc.getCurrentWorkspace().getLookup().lookup(GraphModel.class);
contextPanel.refreshModel(gm);
}
}