private JScrollPane dagWorkbenchScroll(Graph dag) { GraphWorkbench dagWorkbench = new GraphWorkbench(dag); dagWorkbench.setAllowDoubleClickActions(false); dagWorkbench.setAllowNodeEdgeSelection(true); JScrollPane dagWorkbenchScroll = new JScrollPane(dagWorkbench); dagWorkbenchScroll.setPreferredSize(new Dimension(450, 450)); dagWorkbench.addMouseListener( new MouseAdapter() { public void mouseExited(MouseEvent e) { storeLatestWorkbenchGraph(); } }); return dagWorkbenchScroll; }