private ArchivePanel getArchivePanel(Device device) {
ArchivePanel panel = archivePanels.get(device.getId());
if (panel == null) {
panel = new ArchivePanel(archiveHandler);
archivePanels.put(device.getId(), panel);
devicesTabs.add(panel.getContentPanel(), new TabItemConfig(device.getName(), true));
}
return panel;
}
@Override
public void onUpdate(StoreUpdateEvent<Device> event) {
super.onUpdate(event);
if (event.getItems() != null) {
for (Device device : event.getItems()) {
ArchivePanel panel = archivePanels.get(device.getId());
if (panel != null) {
TabItemConfig config = devicesTabs.getConfig(panel.getContentPanel());
config.setText(device.getName());
devicesTabs.update(panel.getContentPanel(), config);
}
}
}
}
public void showPositions(Device device, List<Position> positions) {
ArchivePanel panel = getArchivePanel(device);
devicesTabs.setActiveWidget(panel.getContentPanel());
panel.setPositions(positions);
}