protected void deleteCurrentPanel() {
JComponent tabPane = (JComponent) tabbedPane.getSelectedComponent();
if (tabPane == null) return;
WMSPanel wmsPanel = (WMSPanel) tabPane.getClientProperty(Constants.FEATURE_OWNER_PROPERTY);
if (tabbedPane.getTabCount()
> 2) // actually remove the tab only if there is more than one (plus the "+" tab)
tabbedPane.remove(tabPane);
else tabbedPane.setTitleAt(1, "New Server");
if (wmsPanel != null) wmsPanel.clearPanel();
}
protected WMSPanel addNewPanel(final JTabbedPane tabPane) {
final WMSPanel wmsPanel = new WMSPanel(null); // the null indicates not to register the panel
wmsPanel.initialize(this.controller);
wmsPanel.getJPanel().putClientProperty("WMS_PANEL", wmsPanel);
tabPane.putClientProperty(wmsPanel.getURLString(), wmsPanel);
tabPane.addTab("New Server", wmsPanel.getJPanel());
tabPane.setSelectedIndex(tabPane.getTabCount() - 1);
tabPane.setToolTipTextAt(tabbedPane.getSelectedIndex(), "Server WMS Contents");
wmsPanel.addPropertyChangeListener(
new PropertyChangeListener() {
public void propertyChange(PropertyChangeEvent evt) {
if (evt.getPropertyName().equals("NewServer")) {
String serverLocation = (String) evt.getNewValue();
if (WWUtil.isEmpty(serverLocation)) return;
//
// // Check to see if it's already open.
// for (int i = 0; i < tabbedPane.getTabCount(); i++)
// {
// JPanel jp = (JPanel) tabbedPane.getTabComponentAt(i);
// if (jp != null)
// {
// WMSPanel wp = (WMSPanel)
// jp.getClientProperty("WMS_PANEL");
// if (wp != null &&
// wp.getURLString().equalsIgnoreCase(serverLocation))
// {
// tabbedPane.setSelectedIndex(i); // make it the
// visible one
// return;
// }
// }
// }
try {
addNewPanel(tabPane).contactWMSServer(serverLocation);
} catch (URISyntaxException e) {
e.printStackTrace(); // TODO
}
}
}
});
return wmsPanel;
}