public void fullScreen() { if (fullScreen == null) { errorMessage("Full-screen mode is not supported\nby your graphics environment."); return; } Diagram diag = getDiagram(); if (diag != null) { PanelPaintDevice ppd = (PanelPaintDevice) diag.getPaintDevice(); setVisible(false); fullScreen.display(ppd.getPanel()); fullScreen.getZoomPane().fitSize(); } }