volatile bool enabled = true;
transient JPanel buttons;

void setEnabled(bool b) { setField(enabled := b); }

JComponent visualize_enabled() { ret dm_checkBox enabled(); }