private void makeNodeOptionsPanel(final JPanel answer, final AlloyNodeElement elt) {
final boolean enabled = !(elt instanceof AlloyType) || (vizState.getCurrentModel().hasType((AlloyType)elt));
answer.add(makelabel( (elt instanceof AlloyType) ? (" "+typename((AlloyType)elt)) : (" "+elt) ));
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()); }
});