svoid dm_enableAllButtons() {
  enableButtons(componentsOfType(dm_current_mandatory().vis(), JButton));
}