440441442443444445446447448449450
panel.setVisible(false); panel.removeAll(); if (map != null) { map.fillPanel(panel); } else { old.destroy(); panel.add(gettingStarted, BorderLayout.CENTER); } panel.setVisible(true); redoUndoListener.commandChanged(0,0);