/*
* @(#)WindowsDesktopManager.java 1.18 03/12/19
*
* Copyright 2004 Sun Microsystems, Inc. All rights reserved.
* SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
*/
package com.sun.java.swing.plaf.windows;
import javax.swing.DefaultDesktopManager;
import javax.swing.JInternalFrame;
import javax.swing.JLayeredPane;
import java.awt.Component;
import java.awt.Container;
import java.awt.Dimension;
import java.beans.PropertyVetoException;
import java.util.Vector;
/**
* This class implements a DesktopManager which more closely follows
* the MDI model than the DefaultDesktopManager. Unlike the
* DefaultDesktopManager policy, MDI requires that the selected
* and activated child frames are the same, and that that frame
* always be the top-most window.
* <p>
* The maximized state is managed by the DesktopManager with MDI,
* instead of just being a property of the individual child frame.
* This means that if the currently selected window is maximized
* and another window is selected, that new window will be maximized.
*
* @see javax.swing.DefaultDesktopManager
* @version 1.18 12/19/03
* @author Thomas Ball
*/
public class WindowsDesktopManager extends DefaultDesktopManager
implements java.io.Serializable, javax.swing.plaf.UIResource {
/* The frame which is currently selected/activated.
* We store this value to enforce MDI's single-selection model.
*/
JInternalFrame currentFrame;
JInternalFrame initialFrame;
public void activateFrame(JInternalFrame f) {
try {
super.activateFrame(f);
if (currentFrame != null && f != currentFrame) {
// If the current frame is maximized, transfer that
// attribute to the frame being activated.
if (currentFrame.isMaximum() &&
(f.getClientProperty("JInternalFrame.frameType") !=
"optionDialog") ) {
//Special case. If key binding was used to select next
//frame instead of minimizing the icon via the minimize
//icon.
if (!currentFrame.isIcon()) {
currentFrame.setMaximum(false);
}
if (f.isMaximizable()) {
if (!f.isMaximum()) {
f.setMaximum(true);
} else if (f.isMaximum() && f.isIcon()) {
f.setIcon(false);
} else {
f.setMaximum(false);
}
}
}
if (currentFrame.isSelected()) {
currentFrame.setSelected(false);
}
}
if (!f.isSelected()) {
f.setSelected(true);
}
currentFrame = f;
} catch (PropertyVetoException e) {}
}
}
|