svoid dm_maximizeModule(O module) {
  dm_showModule(module);
  maximizeInternalFrame(dm_vis(module));
}