!7

lib 1400100 // ComponentSwitcher

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

p {
  JDesktopPane desktop = jDesktopPane();
  showFrame(desktop);
  
  new DesktopListener desktopListener;
  desktop.addContainerListener(desktopListener);

  SwitchDispatcher<JInternalFrame> switchDispatcher
    = new(new DesktopSwitcher(desktop), desktopListener);
  switchDispatcher.start();
  
  showInternalFrame(desktop, "bla", jlabel("bla"));
  showInternalFrame(desktop, "bla2", jlabel("bla2"));
  showInternalFrame(desktop, "bla3", jTextArea());
}

Began life as a copy of #1016822