svoid dm_popOutAndActivateModule_alwaysOnTop(O module) {
  dm_popOutModule_alwaysOnTop(module);
  activateFrame(dm_vis(module));
}

svoid dm_popOutAndActivateModule_alwaysOnTop() {
  dm_popOutAndActivateModule(dm_current_mandatory());
}