final JTextField labelText = OurUtil.textfield(vizState.label.get(elt), 10);
labelText.setMaximumSize(new Dimension(100, 25));
labelText.addKeyListener(new KeyAdapter() {
@Override public final void keyReleased(KeyEvent e) { vizState.label.put(elt, labelText.getText()); }
});
labelText.addActionListener(new ActionListener() {
public final void actionPerformed(ActionEvent e) { vizState.label.put(elt, labelText.getText()); }
});
labelText.addFocusListener(new FocusAdapter() {
@Override public void focusLost(FocusEvent e) { vizState.label.put(elt, labelText.getText()); }
});