/* * @(#)WindowsInternalFrameUI.java 1.23 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 java.awt.*; import java.beans.*; import javax.swing.*; import javax.swing.border.*; import javax.swing.plaf.basic.*; import javax.swing.plaf.ComponentUI; /** * Windows rendition of the component. *

* Warning: * Serialized objects of this class will not be compatible with * future Swing releases. The current serialization support is appropriate * for short term storage or RMI between applications running the same * version of Swing. A future release of Swing will provide support for * long term persistence. */ public class WindowsInternalFrameUI extends BasicInternalFrameUI { XPStyle xp = XPStyle.getXP(); public void installDefaults() { super.installDefaults(); if (xp != null) { frame.setBorder(new XPBorder()); } else { frame.setBorder(UIManager.getBorder("InternalFrame.border")); } } public void installUI(JComponent c) { super.installUI(c); LookAndFeel.installProperty(c, "opaque", xp == null? Boolean.TRUE : Boolean.FALSE); } public void uninstallDefaults() { frame.setBorder(null); super.uninstallDefaults(); } public static ComponentUI createUI(JComponent b) { return new WindowsInternalFrameUI((JInternalFrame)b); } public WindowsInternalFrameUI(JInternalFrame w){ super(w); } protected DesktopManager createDesktopManager(){ return new WindowsDesktopManager(); } protected JComponent createNorthPane(JInternalFrame w) { titlePane = new WindowsInternalFrameTitlePane(w); return titlePane; } private class XPBorder extends AbstractBorder { private XPStyle.Skin leftSkin = xp.getSkin("window.frameleft"); private XPStyle.Skin rightSkin = xp.getSkin("window.frameright"); private XPStyle.Skin bottomSkin = xp.getSkin("window.framebottom"); /** * @param x the x position of the painted border * @param y the y position of the painted border * @param width the width of the painted border * @param height the height of the painted border */ public void paintBorder(Component c, Graphics g, int x, int y, int width, int height) { boolean isSelected = ((JInternalFrame)c).isSelected(); int topBorderHeight = (titlePane != null) ? titlePane.getSize().height : 0; bottomSkin.paintSkin(g, 0, height-bottomSkin.getHeight(), width, bottomSkin.getHeight(), isSelected ? 0 : 1); leftSkin.paintSkin(g, 0, topBorderHeight-1, leftSkin.getWidth(), height-topBorderHeight-bottomSkin.getHeight()+2, isSelected ? 0 : 1); rightSkin.paintSkin(g, width-rightSkin.getWidth(), topBorderHeight-1, rightSkin.getWidth(), height-topBorderHeight-bottomSkin.getHeight()+2, isSelected ? 0 : 1); } public Insets getBorderInsets(Component c) { return getBorderInsets(c, new Insets(0, 0, 0, 0)); } public Insets getBorderInsets(Component c, Insets insets) { insets.top = 4; insets.left = leftSkin.getWidth(); insets.right = rightSkin.getWidth(); insets.bottom = bottomSkin.getHeight(); return insets; } public boolean isBorderOpaque() { return true; } } }