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