static int dm_autoHide_defaultDelay = 5000;

svoid dm_autoHide(RestartableCountdown autoHide) {
  var mod = dm_current_mandatory();
  autoHide.start(dm_autoHide_defaultDelay, r {
    temp mod.enter();
    Container frame = dm_frame();
    if (!mouseInComponent(frame) && !internalFrameFocussed(frame))
      dm_hideModule();
  });
}