--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/jdk/src/share/classes/com/sun/java/swing/plaf/windows/WindowsInternalFrameTitlePane.java Sat Dec 01 00:00:00 2007 +0000
@@ -0,0 +1,538 @@
+/*
+ * Copyright 2001-2006 Sun Microsystems, Inc. All Rights Reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * This code is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License version 2 only, as
+ * published by the Free Software Foundation. Sun designates this
+ * particular file as subject to the "Classpath" exception as provided
+ * by Sun in the LICENSE file that accompanied this code.
+ *
+ * This code is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
+ * version 2 for more details (a copy is included in the LICENSE file that
+ * accompanied this code).
+ *
+ * You should have received a copy of the GNU General Public License version
+ * 2 along with this work; if not, write to the Free Software Foundation,
+ * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
+ *
+ * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
+ * CA 95054 USA or visit www.sun.com if you need additional information or
+ * have any questions.
+ */
+
+package com.sun.java.swing.plaf.windows;
+
+import sun.swing.SwingUtilities2;
+
+import javax.swing.*;
+import javax.swing.border.*;
+import javax.swing.UIManager;
+import javax.swing.plaf.*;
+import javax.swing.plaf.basic.BasicInternalFrameTitlePane;
+import java.awt.*;
+import java.awt.event.*;
+import java.beans.PropertyChangeEvent;
+import java.beans.PropertyChangeListener;
+import java.beans.PropertyVetoException;
+
+import static com.sun.java.swing.plaf.windows.TMSchema.*;
+import static com.sun.java.swing.plaf.windows.XPStyle.Skin;
+
+public class WindowsInternalFrameTitlePane extends BasicInternalFrameTitlePane {
+ private Color selectedTitleGradientColor;
+ private Color notSelectedTitleGradientColor;
+ private JPopupMenu systemPopupMenu;
+ private JLabel systemLabel;
+
+ private Font titleFont;
+ private int titlePaneHeight;
+ private int buttonWidth, buttonHeight;
+ private boolean hotTrackingOn;
+
+ public WindowsInternalFrameTitlePane(JInternalFrame f) {
+ super(f);
+ }
+
+ protected void addSubComponents() {
+ add(systemLabel);
+ add(iconButton);
+ add(maxButton);
+ add(closeButton);
+ }
+
+ protected void installDefaults() {
+ super.installDefaults();
+
+ titlePaneHeight = UIManager.getInt("InternalFrame.titlePaneHeight");
+ buttonWidth = UIManager.getInt("InternalFrame.titleButtonWidth") - 4;
+ buttonHeight = UIManager.getInt("InternalFrame.titleButtonHeight") - 4;
+
+ Object obj = UIManager.get("InternalFrame.titleButtonToolTipsOn");
+ hotTrackingOn = (obj instanceof Boolean) ? (Boolean)obj : true;
+
+
+ if (XPStyle.getXP() != null) {
+ // Fix for XP bug where sometimes these sizes aren't updated properly
+ // Assume for now that height is correct and derive width using the
+ // ratio from the uxtheme part
+ buttonWidth = buttonHeight;
+ Dimension d = XPStyle.getPartSize(Part.WP_CLOSEBUTTON, State.NORMAL);
+ if (d != null && d.width != 0 && d.height != 0) {
+ buttonWidth = (int) ((float) buttonWidth * d.width / d.height);
+ }
+ } else {
+ buttonWidth += 2;
+ selectedTitleGradientColor =
+ UIManager.getColor("InternalFrame.activeTitleGradient");
+ notSelectedTitleGradientColor =
+ UIManager.getColor("InternalFrame.inactiveTitleGradient");
+ Color activeBorderColor =
+ UIManager.getColor("InternalFrame.activeBorderColor");
+ setBorder(BorderFactory.createLineBorder(activeBorderColor, 1));
+ }
+ }
+
+ protected void uninstallListeners() {
+ // Get around protected method in superclass
+ super.uninstallListeners();
+ }
+
+ protected void createButtons() {
+ super.createButtons();
+ if (XPStyle.getXP() != null) {
+ iconButton.setContentAreaFilled(false);
+ maxButton.setContentAreaFilled(false);
+ closeButton.setContentAreaFilled(false);
+ }
+ }
+
+ protected void setButtonIcons() {
+ super.setButtonIcons();
+
+ if (!hotTrackingOn) {
+ iconButton.setToolTipText(null);
+ maxButton.setToolTipText(null);
+ closeButton.setToolTipText(null);
+ }
+ }
+
+
+ public void paintComponent(Graphics g) {
+ XPStyle xp = XPStyle.getXP();
+
+ paintTitleBackground(g);
+
+ String title = frame.getTitle();
+ if (title != null) {
+ boolean isSelected = frame.isSelected();
+ Font oldFont = g.getFont();
+ Font newFont = (titleFont != null) ? titleFont : getFont();
+ g.setFont(newFont);
+
+ // Center text vertically.
+ FontMetrics fm = SwingUtilities2.getFontMetrics(frame, g, newFont);
+ int baseline = (getHeight() + fm.getAscent() - fm.getLeading() -
+ fm.getDescent()) / 2;
+
+ int titleX;
+ Rectangle r = new Rectangle(0, 0, 0, 0);
+ if (frame.isIconifiable()) r = iconButton.getBounds();
+ else if (frame.isMaximizable()) r = maxButton.getBounds();
+ else if (frame.isClosable()) r = closeButton.getBounds();
+ int titleW;
+
+ if(WindowsGraphicsUtils.isLeftToRight(frame) ) {
+ if (r.x == 0) r.x = frame.getWidth()-frame.getInsets().right;
+ titleX = systemLabel.getX() + systemLabel.getWidth() + 2;
+ if (xp != null) {
+ titleX += 2;
+ }
+ titleW = r.x - titleX - 3;
+ title = getTitle(frame.getTitle(), fm, titleW);
+ } else {
+ titleX = systemLabel.getX() - 2
+ - SwingUtilities2.stringWidth(frame,fm,title);
+ }
+ if (xp != null) {
+ String shadowType = null;
+ if (isSelected) {
+ shadowType = xp.getString(this, Part.WP_CAPTION,
+ State.ACTIVE, Prop.TEXTSHADOWTYPE);
+ }
+ if ("single".equalsIgnoreCase(shadowType)) {
+ Point shadowOffset = xp.getPoint(this, Part.WP_WINDOW, State.ACTIVE,
+ Prop.TEXTSHADOWOFFSET);
+ Color shadowColor = xp.getColor(this, Part.WP_WINDOW, State.ACTIVE,
+ Prop.TEXTSHADOWCOLOR, null);
+ if (shadowOffset != null && shadowColor != null) {
+ g.setColor(shadowColor);
+ SwingUtilities2.drawString(frame, g, title,
+ titleX + shadowOffset.x,
+ baseline + shadowOffset.y);
+ }
+ }
+ }
+ g.setColor(isSelected ? selectedTextColor : notSelectedTextColor);
+ SwingUtilities2.drawString(frame, g, title, titleX, baseline);
+ g.setFont(oldFont);
+ }
+ }
+
+ public Dimension getPreferredSize() {
+ return getMinimumSize();
+ }
+
+ public Dimension getMinimumSize() {
+ Dimension d = new Dimension(super.getMinimumSize());
+ d.height = titlePaneHeight + 2;
+
+ XPStyle xp = XPStyle.getXP();
+ if (xp != null) {
+ // Note: Don't know how to calculate height on XP,
+ // the captionbarheight is 25 but native caption is 30 (maximized 26)
+ if (frame.isMaximum()) {
+ d.height -= 1;
+ } else {
+ d.height += 3;
+ }
+ }
+ return d;
+ }
+
+ protected void paintTitleBackground(Graphics g) {
+ XPStyle xp = XPStyle.getXP();
+ if (xp != null) {
+ Part part = frame.isIcon() ? Part.WP_MINCAPTION
+ : (frame.isMaximum() ? Part.WP_MAXCAPTION
+ : Part.WP_CAPTION);
+ State state = frame.isSelected() ? State.ACTIVE : State.INACTIVE;
+ Skin skin = xp.getSkin(this, part);
+ skin.paintSkin(g, 0, 0, getWidth(), getHeight(), state);
+ } else {
+ Boolean gradientsOn = (Boolean)LookAndFeel.getDesktopPropertyValue(
+ "win.frame.captionGradientsOn", Boolean.valueOf(false));
+ if (gradientsOn.booleanValue() && g instanceof Graphics2D) {
+ Graphics2D g2 = (Graphics2D)g;
+ Paint savePaint = g2.getPaint();
+
+ boolean isSelected = frame.isSelected();
+ int w = getWidth();
+
+ if (isSelected) {
+ GradientPaint titleGradient = new GradientPaint(0,0,
+ selectedTitleColor,
+ (int)(w*.75),0,
+ selectedTitleGradientColor);
+ g2.setPaint(titleGradient);
+ } else {
+ GradientPaint titleGradient = new GradientPaint(0,0,
+ notSelectedTitleColor,
+ (int)(w*.75),0,
+ notSelectedTitleGradientColor);
+ g2.setPaint(titleGradient);
+ }
+ g2.fillRect(0, 0, getWidth(), getHeight());
+ g2.setPaint(savePaint);
+ } else {
+ super.paintTitleBackground(g);
+ }
+ }
+ }
+
+ protected void assembleSystemMenu() {
+ systemPopupMenu = new JPopupMenu();
+ addSystemMenuItems(systemPopupMenu);
+ enableActions();
+ systemLabel = new JLabel(frame.getFrameIcon()) {
+ protected void paintComponent(Graphics g) {
+ int x = 0;
+ int y = 0;
+ int w = getWidth();
+ int h = getHeight();
+ g = g.create(); // Create scratch graphics
+ if (isOpaque()) {
+ g.setColor(getBackground());
+ g.fillRect(0, 0, w, h);
+ }
+ Icon icon = getIcon();
+ int iconWidth = 0;
+ int iconHeight = 0;
+ if (icon != null &&
+ (iconWidth = icon.getIconWidth()) > 0 &&
+ (iconHeight = icon.getIconHeight()) > 0) {
+
+ // Set drawing scale to make icon scale to our desired size
+ double drawScale;
+ if (iconWidth > iconHeight) {
+ // Center icon vertically
+ y = (h - w*iconHeight/iconWidth) / 2;
+ drawScale = w / (double)iconWidth;
+ } else {
+ // Center icon horizontally
+ x = (w - h*iconWidth/iconHeight) / 2;
+ drawScale = h / (double)iconHeight;
+ }
+ ((Graphics2D)g).translate(x, y);
+ ((Graphics2D)g).scale(drawScale, drawScale);
+ icon.paintIcon(this, g, 0, 0);
+ }
+ g.dispose();
+ }
+ };
+ systemLabel.addMouseListener(new MouseAdapter() {
+ public void mouseClicked(MouseEvent e) {
+ if (e.getClickCount() == 2 && frame.isClosable() &&
+ !frame.isIcon()) {
+ systemPopupMenu.setVisible(false);
+ frame.doDefaultCloseAction();
+ }
+ else {
+ super.mouseClicked(e);
+ }
+ }
+ public void mousePressed(MouseEvent e) {
+ try {
+ frame.setSelected(true);
+ } catch(PropertyVetoException pve) {
+ }
+ showSystemPopupMenu(e.getComponent());
+ }
+ });
+ }
+
+ protected void addSystemMenuItems(JPopupMenu menu) {
+ JMenuItem mi = (JMenuItem)menu.add(restoreAction);
+ mi.setMnemonic('R');
+ mi = (JMenuItem)menu.add(moveAction);
+ mi.setMnemonic('M');
+ mi = (JMenuItem)menu.add(sizeAction);
+ mi.setMnemonic('S');
+ mi = (JMenuItem)menu.add(iconifyAction);
+ mi.setMnemonic('n');
+ mi = (JMenuItem)menu.add(maximizeAction);
+ mi.setMnemonic('x');
+ systemPopupMenu.add(new JSeparator());
+ mi = (JMenuItem)menu.add(closeAction);
+ mi.setMnemonic('C');
+ }
+
+ protected void showSystemMenu(){
+ showSystemPopupMenu(systemLabel);
+ }
+
+ private void showSystemPopupMenu(Component invoker){
+ Dimension dim = new Dimension();
+ Border border = frame.getBorder();
+ if (border != null) {
+ dim.width += border.getBorderInsets(frame).left +
+ border.getBorderInsets(frame).right;
+ dim.height += border.getBorderInsets(frame).bottom +
+ border.getBorderInsets(frame).top;
+ }
+ if (!frame.isIcon()) {
+ systemPopupMenu.show(invoker,
+ getX() - dim.width,
+ getY() + getHeight() - dim.height);
+ } else {
+ systemPopupMenu.show(invoker,
+ getX() - dim.width,
+ getY() - systemPopupMenu.getPreferredSize().height -
+ dim.height);
+ }
+ }
+
+ protected PropertyChangeListener createPropertyChangeListener() {
+ return new WindowsPropertyChangeHandler();
+ }
+
+ protected LayoutManager createLayout() {
+ return new WindowsTitlePaneLayout();
+ }
+
+ public class WindowsTitlePaneLayout extends BasicInternalFrameTitlePane.TitlePaneLayout {
+ private Insets captionMargin = null;
+ private Insets contentMargin = null;
+ private XPStyle xp = XPStyle.getXP();
+
+ WindowsTitlePaneLayout() {
+ if (xp != null) {
+ Component c = WindowsInternalFrameTitlePane.this;
+ captionMargin = xp.getMargin(c, Part.WP_CAPTION, null, Prop.CAPTIONMARGINS);
+ contentMargin = xp.getMargin(c, Part.WP_CAPTION, null, Prop.CONTENTMARGINS);
+ }
+ if (captionMargin == null) {
+ captionMargin = new Insets(0, 2, 0, 2);
+ }
+ if (contentMargin == null) {
+ contentMargin = new Insets(0, 0, 0, 0);
+ }
+ }
+
+ private int layoutButton(JComponent button, Part part,
+ int x, int y, int w, int h, int gap,
+ boolean leftToRight) {
+ if (!leftToRight) {
+ x -= w;
+ }
+ button.setBounds(x, y, w, h);
+ if (leftToRight) {
+ x += w + 2;
+ } else {
+ x -= 2;
+ }
+ return x;
+ }
+
+ public void layoutContainer(Container c) {
+ boolean leftToRight = WindowsGraphicsUtils.isLeftToRight(frame);
+ int x, y;
+ int w = getWidth();
+ int h = getHeight();
+
+ // System button
+ // Note: this icon is square, but the buttons aren't always.
+ int iconSize = (xp != null) ? (h-2)*6/10 : h-4;
+ if (xp != null) {
+ x = (leftToRight) ? captionMargin.left + 2 : w - captionMargin.right - 2;
+ } else {
+ x = (leftToRight) ? captionMargin.left : w - captionMargin.right;
+ }
+ y = (h - iconSize) / 2;
+ layoutButton(systemLabel, Part.WP_SYSBUTTON,
+ x, y, iconSize, iconSize, 0,
+ leftToRight);
+
+ // Right hand buttons
+ if (xp != null) {
+ x = (leftToRight) ? w - captionMargin.right - 2 : captionMargin.left + 2;
+ y = 1; // XP seems to ignore margins and offset here
+ if (frame.isMaximum()) {
+ y += 1;
+ } else {
+ y += 5;
+ }
+ } else {
+ x = (leftToRight) ? w - captionMargin.right : captionMargin.left;
+ y = (h - buttonHeight) / 2;
+ }
+
+ if(frame.isClosable()) {
+ x = layoutButton(closeButton, Part.WP_CLOSEBUTTON,
+ x, y, buttonWidth, buttonHeight, 2,
+ !leftToRight);
+ }
+
+ if(frame.isMaximizable()) {
+ x = layoutButton(maxButton, Part.WP_MAXBUTTON,
+ x, y, buttonWidth, buttonHeight, (xp != null) ? 2 : 0,
+ !leftToRight);
+ }
+
+ if(frame.isIconifiable()) {
+ layoutButton(iconButton, Part.WP_MINBUTTON,
+ x, y, buttonWidth, buttonHeight, 0,
+ !leftToRight);
+ }
+ }
+ } // end WindowsTitlePaneLayout
+
+ public class WindowsPropertyChangeHandler extends PropertyChangeHandler {
+ public void propertyChange(PropertyChangeEvent evt) {
+ String prop = (String)evt.getPropertyName();
+
+ // Update the internal frame icon for the system menu.
+ if (JInternalFrame.FRAME_ICON_PROPERTY.equals(prop) &&
+ systemLabel != null) {
+ systemLabel.setIcon(frame.getFrameIcon());
+ }
+
+ super.propertyChange(evt);
+ }
+ }
+
+ /**
+ * A versatile Icon implementation which can take an array of Icon
+ * instances (typically <code>ImageIcon</code>s) and choose one that gives the best
+ * quality for a given Graphics2D scale factor when painting.
+ * <p>
+ * The class is public so it can be instantiated by UIDefaults.ProxyLazyValue.
+ * <p>
+ * Note: We assume here that icons are square.
+ */
+ public static class ScalableIconUIResource implements Icon, UIResource {
+ // We can use an arbitrary size here because we scale to it in paintIcon()
+ private static final int SIZE = 16;
+
+ private Icon[] icons;
+
+ /**
+ * @params objects an array of Icon or UIDefaults.LazyValue
+ * <p>
+ * The constructor is public so it can be called by UIDefaults.ProxyLazyValue.
+ */
+ public ScalableIconUIResource(Object[] objects) {
+ this.icons = new Icon[objects.length];
+
+ for (int i = 0; i < objects.length; i++) {
+ if (objects[i] instanceof UIDefaults.LazyValue) {
+ icons[i] = (Icon)((UIDefaults.LazyValue)objects[i]).createValue(null);
+ } else {
+ icons[i] = (Icon)objects[i];
+ }
+ }
+ }
+
+ /**
+ * @return the <code>Icon</code> closest to the requested size
+ */
+ protected Icon getBestIcon(int size) {
+ if (icons != null && icons.length > 0) {
+ int bestIndex = 0;
+ int minDiff = Integer.MAX_VALUE;
+ for (int i=0; i < icons.length; i++) {
+ Icon icon = icons[i];
+ int iconSize;
+ if (icon != null && (iconSize = icon.getIconWidth()) > 0) {
+ int diff = Math.abs(iconSize - size);
+ if (diff < minDiff) {
+ minDiff = diff;
+ bestIndex = i;
+ }
+ }
+ }
+ return icons[bestIndex];
+ } else {
+ return null;
+ }
+ }
+
+ public void paintIcon(Component c, Graphics g, int x, int y) {
+ Graphics2D g2d = (Graphics2D)g.create();
+ // Calculate how big our drawing area is in pixels
+ // Assume we are square
+ int size = getIconWidth();
+ double scale = g2d.getTransform().getScaleX();
+ Icon icon = getBestIcon((int)(size * scale));
+ int iconSize;
+ if (icon != null && (iconSize = icon.getIconWidth()) > 0) {
+ // Set drawing scale to make icon act true to our reported size
+ double drawScale = size / (double)iconSize;
+ g2d.translate(x, y);
+ g2d.scale(drawScale, drawScale);
+ icon.paintIcon(c, g2d, 0, 0);
+ }
+ g2d.dispose();
+ }
+
+ public int getIconWidth() {
+ return SIZE;
+ }
+
+ public int getIconHeight() {
+ return SIZE;
+ }
+ }
+}