layout.setVgap(0);
setLayout(layout);
if (workspace.kioskLevel == GUIWorkspace.KioskLevel.NONE) {
javax.swing.JPanel sizeControlPanel = new javax.swing.JPanel();
sizeControlPanel.setLayout
(new RowLayout(1, java.awt.Component.RIGHT_ALIGNMENT,
java.awt.Component.CENTER_ALIGNMENT));
sizeControlXY = new SizeControl("/images/arrowsdiag.gif", 1, 1);
sizeControlXY.setToolTipText("Change width and height of world");
sizeControlPanel.add(sizeControlXY);