texts = new JTextField[values.length];
for (int j = 0; j < values.length; j++) {
JTextField value = new JTextField(values[j]);
+ value.setEditable(false);
value.setFont(AltosUILib.value_font);
value.setHorizontalAlignment(SwingConstants.RIGHT);
texts[j] = value;
this(new MicroStats());
}
-}
\ No newline at end of file
+}