windowsdesktopmanager.java

来自「JAVA 所有包」· Java 代码 · 共 87 行

JAVA
87
字号
/* * @(#)WindowsDesktopManager.java	1.21 06/05/10 * * Copyright 2006 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;import java.lang.ref.WeakReference;/** * 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.21 05/10/06 * @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.     */    private WeakReference<JInternalFrame> currentFrameRef;    public void activateFrame(JInternalFrame f) {        JInternalFrame currentFrame = currentFrameRef != null ?             currentFrameRef.get() : null;        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);            }        } catch (PropertyVetoException e) {}        if (f != currentFrame) {            currentFrameRef = new WeakReference(f);        }    }}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?