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