@Override public void keyReleased(KeyEvent e) { vizState.label.put(rel, labelText.getText()); }
});
labelText.addActionListener(new ActionListener() {
public final void actionPerformed(ActionEvent e) { vizState.label.put(rel, labelText.getText()); }
});
labelText.addFocusListener(new FocusAdapter() {
@Override public void focusLost(FocusEvent e) { vizState.label.put(rel, labelText.getText()); }
});
final JLabel weightLabel = OurUtil.label("Weight:");
final JSpinner weightSpinner = new JSpinner(new SpinnerNumberModel(vizState.weight.get(rel), 0, 999, 1));
weightSpinner.setMaximumSize(weightSpinner.getPreferredSize());