public void refreshScrollPane() { // ???
// this.scrollPane.getViewport().
// this.scrollPane.revalidate();
// this.scrollPane.repaint();
// this.listPanel.setPreferredSize();
// this.listPanel.setPreferredSize(listPanel.getSize());
this.listPanel.revalidate();
// this.listPanel.repaint();
panelDisplayer.refreshDisplay();
}
protected void addElement(BasicDBObject DBO, int idx) {
try {
PanelElementAbstract b = createPanelElement(DBO, idx);
if (ml != null) b.register(ml);
panelElements.add(b);
if (template != null) {
if (template.panelElements.size() > idx) {
if (b instanceof PanelElementPlugin)
((PanelElementPlugin) b)
.setTemplate((PanelElementPlugin) template.panelElements.get(idx));
}
}
listPanel.add(b.getPanel());
listLayout.setRows(Math.max(panelElements.size() + 1, minNbRows));
listPanel.revalidate();
// scrollPane.getViewport().revalidate();
panelDisplayer.refreshDisplay();
setAddButtonColor();
} catch (Exception e) {
exceptionPrinter.print(e, "", Core.GUIMode);
}
}
public void hidePanel() {
panelDisplayer.hidePanel();
}
public void showPanel(PanelElementAbstract b) {
for (PanelElementAbstract b2 : panelElements) b2.off();
b.getParameterPanel().refreshDisplay();
panelDisplayer.showPanel(b.getParameterPanel().getPanel());
b.on();
}
