min = new JTextField("00.0000");
min_label = new JLabel("'");
set_value(default_value);
+ deg.setMinimumSize(deg.getPreferredSize());
+ min.setMinimumSize(min.getPreferredSize());
add(label);
add(Box.createRigidArea(new Dimension(5, 0)));
add(hemi);
public updatePbar(int x, int y, String in_s) {
n = (x + radius) + (y + radius) * width + 1;
- System.out.printf("update pbar %d\n", n);
s = in_s;
}