1. /*

  2.  * @(#)WindowsDesktopManager.java	1.15 03/01/23

  3.  *

  4.  * Copyright 2003 Sun Microsystems, Inc. All rights reserved.

  5.  * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.

  6.  */

  7. 

  8. 

  9. package com.sun.java.swing.plaf.windows;

  10. 

  11. import javax.swing.DefaultDesktopManager;

  12. import javax.swing.JInternalFrame;

  13. import javax.swing.JLayeredPane;

  14. import java.awt.Component;

  15. import java.awt.Container;

  16. import java.awt.Dimension;

  17. import java.beans.PropertyVetoException;

  18. import java.util.Vector;

  19. 

  20. /**

  21.  * This class implements a DesktopManager which more closely follows 

  22.  * the MDI model than the DefaultDesktopManager.  Unlike the

  23.  * DefaultDesktopManager policy, MDI requires that the selected

  24.  * and activated child frames are the same, and that that frame

  25.  * always be the top-most window.

  26.  * <p>

  27.  * The maximized state is managed by the DesktopManager with MDI,

  28.  * instead of just being a property of the individual child frame.

  29.  * This means that if the currently selected window is maximized

  30.  * and another window is selected, that new window will be maximized.

  31.  *

  32.  * @see javax.swing.DefaultDesktopManager

  33.  * @version 1.15 01/23/03

  34.  * @author Thomas Ball

  35.  */

  36. public class WindowsDesktopManager extends DefaultDesktopManager 

  37.         implements java.io.Serializable {

  38. 

  39.     /* The frame which is currently selected/activated.

  40.      * We store this value to enforce MDI's single-selection model.

  41.      */

  42.     JInternalFrame currentFrame;

  43.     JInternalFrame initialFrame;	  

  44. 

  45.     public void activateFrame(JInternalFrame f) {

  46.         try {

  47.             super.activateFrame(f);

  48. 

  49.             if (currentFrame != null && f != currentFrame) {

  50.                 // If the current frame is maximized, transfer that 

  51.                 // attribute to the frame being activated.

  52.                 if (currentFrame.isMaximum() &&

  53. 		    (f.getClientProperty("JInternalFrame.frameType") !=

  54. 		    "optionDialog") ) {

  55.                     currentFrame.setMaximum(false);

  56.                     f.setMaximum(true);

  57.                 }

  58.                 if (currentFrame.isSelected()) {

  59.                     currentFrame.setSelected(false);

  60.                 }

  61.             }

  62. 

  63.             if (!f.isSelected()) {

  64.                 f.setSelected(true);

  65.             }

  66.             currentFrame = f;

  67.         } catch (PropertyVetoException e) {}

  68.     }

  69. 

  70. }