svoid dm_autoHideUnlessFocussedAfter(RestartableCountdown autoHide) {
  autoHide.start(5000, r {
    Container frame = dm_frame();
    if (!mouseInComponent(frame) && !print("focussed", internalFrameFocussed(frame)))
      dm_hideModule();
  });
}