this.graphView = graphView;
graphViewer = graphView.getViewer();
deleteAction = new DeleteAction( graphView );
backAction = new GoBackAction( graphView );
forwardAction = new GoForwardAction( graphView );
decAction = new DecreaseTraversalDepthAction( graphView );
incAction = new IncreaseTraversalDepthAction( graphView );
startAction = new StartAction( graphView );
stopAction = new StopAction( graphView );
commitAction = new CommitAction( graphView );
rollbackAction = new RollbackAction( graphView );