FileDocCategorySizeDatePackage
WindowsInternalFrameUI.javaAPI DocJava SE 5 API3424Fri Aug 26 14:54:50 BST 2005com.sun.java.swing.plaf.windows

WindowsInternalFrameUI.java

/*
 * @(#)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.
 * <p>
 * <strong>Warning:</strong>
 * 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;
	}
    }

}