lib 1400100 // ComponentSwitcher

import org.swing.enhance.desktop.*;
import org.swing.enhance.keystroke.*;

svoid installInternalFrameSwitcher(final JDesktopPane desktop) {
  swing {
    JDesktopPane desktop = jDesktopPane();
    showFrame(desktop);
    
    new DesktopListener desktopListener;
    desktop.addContainerListener(desktopListener);
  
    new SwitchDispatcher<JInternalFrame>(new DesktopSwitcher(desktop), desktopListener).start();
  }
}