/** Load any saved server state */
private void loadServerState() {
if (addeServers == null) {
return;
}
String id = getId();
String[] serverState = (String[]) getIdv().getStore().get(PREF_SERVERSTATE + "." + id);
if (serverState == null) {
return;
}
AddeServer server = AddeServer.findServer(addeServers, serverState[0]);
if (server == null) {
return;
}
serverSelector.setSelectedItem(server);
setGroups();
if (serverState[1] != null) {
AddeServer.Group group = (AddeServer.Group) server.findGroup(serverState[1]);
if (group != null) {
groupSelector.setSelectedItem(group);
}
}
}
