windowsdesktopmanager.java

来自「JAVA的一些源码 JAVA2 STANDARD EDITION DEVELO」· Java 代码 · 共 84 行

JAVA
84
字号
/* * @(#)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) {}    }}

⌨️ 快捷键说明

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