svoid dm_useFullDesktopPane() {
  if (dm_getBounds() == null)
    dm_setBounds(dm_current_generic(), 0, 0,
      getWidth(dm_desktopPane()),
      getHeight(dm_desktopPane()));
}