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();
}
}
