import javax.swing.plaf.InternalFrameUI;

import javax.swing.plaf.basic.BasicInternalFrameUI;

svoid stefansOS_popOutModule(Module m) ctex {

  final JInternalFrame myFrame = cast getPossiblyInternalFrame(m.vis);

  if (myFrame == null) ret;

  if (getParent(myFrame) != main.desktop) ret; // popped out already

  Rectangle boundsOnScreen = boundsOnScreen(myFrame);

  bool alwaysOnTop ifndef PreV7 = m.hasFlag(m.ALWAYSONTOPWHENPOPPEDOUT) endifndef;

  // make a new frame with a new DesktopPane

  // (a little trick so we can keep using JInternalFrame)

  JDesktopPane desktopPane = jDesktopPane();

  autoFixDesktopPane(desktopPane);

  showFrame(m.moduleName(), desktopPane);

  JFrame frame = getFrame(desktopPane);

  // title popup menu items

  if (!frameTitlePopupMenuItems(frame,

    "Pop Back In", r { stefansOS_popInModule(m) },

     jCheckBoxMenuItem("Always On Top", alwaysOnTop, r { toggleAlwaysOnTop(frame) }))) // TODO: don't use toggle, use set instead

    // can't add title menu - add button instead

    replaceComponent(desktopPane, func(JComponent dp) -> Component {

      withRightAlignedButtons_marginAttachedToCenter(dp,

        onChange(jCheckBox("Always On Top", alwaysOnTop), r { toggleAlwaysOnTop(frame) }),

        "Pop Back In", r { stefansOS_popInModule(m) }) });

  // position, listeners, flags, show

  setFrameBounds(desktopPane, boundsOnScreen);

  swing(r {

    removeFromParent(myFrame);

    onResizeAndNow(desktopPane, r {

      myFrame.setBounds(0, 0, desktopPane.getWidth(), desktopPane.getHeight())

    });

    desktopPane.add(myFrame);

    myFrame.setMaximum(true);

    myFrame.setMaximizable(false);

    myFrame.setClosable(false);

    myFrame.setIconifiable(false);

    frame.setAlwaysOnTop(alwaysOnTop);

    InternalFrameUI ui = myFrame.getUI();

    if (ui cast BasicInternalFrameUI)

      ui.setNorthPane(null);

    cset(m, poppedOut := true);

    vmBus_send modulePoppedOut(m, myFrame);

  });

}