JGraph User Manual getGraph().paint(g); // Restores graph g.translate(dx, dy); graph.setScale(oldScale); } currentManager.setDoubleBufferingEnabled(true); return PAGE_EXISTS; } else { return NO_SUCH_PAGE; } Page 101