public void hide(boolean refresh) {
container.remove(layout);
if (showMeasurements.isSelected()) {
container.remove(measurements);
showMeasurements.setSelected(false);
}
if (refresh) core.refreshDisplay();
}
public void show(boolean refresh) {
container.add(layout);
if (refresh) core.refreshDisplay();
}