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 + -
显示快捷键?