svoid AutoCloseable dm_tempDisableAllButtons() {
  JComponent vis = dm_current_mandatory().vis;
  ret combineAutoCloseables(
    map tempDisableButton(componentsOfType(vis, JButton)));
}