controller.dispatch(new GraphViewEvent(this,
GraphViewEvent.NODE_DRAWN, newFigure));
}
};
_graphPane = new GraphPane(controller, graphModel);
_jgraph = new JGraph(_graphPane);
_jgraph
.setBorder(BorderFactory
.createEtchedBorder(EtchedBorder.RAISED));
// The icon window is fixed size.
_jgraph.setMinimumSize(new Dimension(_ICON_WINDOW_WIDTH,