+ public void show() {
+ label.setVisible(true);
+ value.setVisible(true);
+ lights.setVisible(true);
+ }
+
+ void show(String s) {
+ show();
+ value.setText(s);
+ }
+
+ void show(String format, double value) {
+ show(String.format(format, value));
+ }
+
+ void show(String format, int value) {
+ show(String.format(format, value));
+ }
+
+ public void hide() {
+ label.setVisible(false);
+ value.setVisible(false);
+ lights.setVisible(false);
+ }
+
+ public void set_font() {
+ label.setFont(Altos.label_font);
+ value.setFont(Altos.value_font);
+ }
+