/*
 * @(#)Metacity.java	1.38 10/03/23
 *
 * Copyright (c) 2006, Oracle and/or its affiliates. All rights reserved.
 * ORACLE PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
 */
package com.sun.java.swing.plaf.gtk;

import sun.swing.SwingUtilities2;
import com.sun.java.swing.plaf.gtk.GTKConstants.ArrowType;
import com.sun.java.swing.plaf.gtk.GTKConstants.ShadowType;

import javax.swing.plaf.ColorUIResource;
import javax.swing.plaf.synth.*;

import java.awt.*;
import java.awt.geom.*;
import java.awt.image.*;
import java.io.*;
import java.net.*;
import java.security.*;
import java.util.*;

import javax.swing.*;
import javax.swing.border.*;

import javax.xml.parsers.*;
import org.xml.sax.SAXException;
import org.w3c.dom.*;

/**
 * @version 1.38, 03/23/10
 */
class Metacity implements SynthConstants {
    // Tutorial:
    // http://developer.gnome.org/doc/tutorials/metacity/metacity-themes.html

    // Themes:
    // http://art.gnome.org/theme_list.php?category=metacity

    static Metacity INSTANCE;

    private static final String[] themeNames = {
        getUserTheme(),
        "blueprint",
    	"Bluecurve",
        "Crux",
        "SwingFallbackTheme"
    };

    static {
        for (String themeName : themeNames) {
            if (themeName != null) {
            try {
                INSTANCE = new Metacity(themeName);
            } catch (FileNotFoundException ex) {
            } catch (IOException ex) {
                logError(themeName, ex);
            } catch (ParserConfigurationException ex) {
                logError(themeName, ex);
            } catch (SAXException ex) {
                logError(themeName, ex);
            }
            }
            if (INSTANCE != null) {
            break;
            }
        }
        if (INSTANCE == null) {
            throw new Error("Could not find any installed metacity theme, and fallback failed");
        }
    }

    private static boolean errorLogged = false;
    private static DocumentBuilder documentBuilder;
    private static Document xmlDoc;
    private static String userHome;

    private Node frame_style_set;
    private Map<String, Object> frameGeometry;
    private Map<String, Map<String, Object>> frameGeometries;

    private LayoutManager titlePaneLayout = new TitlePaneLayout();

    private ColorizeImageFilter imageFilter = new ColorizeImageFilter();
    private URL themeDir = null;
    private SynthContext context;
    private String themeName;

    private ArithmeticExpressionEvaluator aee = new ArithmeticExpressionEvaluator();
    private Map<String, Integer> variables;

    // Reusable clip shape object
    private RoundRectClipShape roundedClipShape;

    protected Metacity(String themeName) throws IOException, ParserConfigurationException, SAXException {
	this.themeName = themeName;
	themeDir = getThemeDir(themeName);
	if (themeDir != null) {
	    URL themeURL = new URL(themeDir, "metacity-theme-1.xml");
	    xmlDoc = getXMLDoc(themeURL);
	    if (xmlDoc == null) {
		throw new IOException(themeURL.toString());
	    }
	} else {
	    throw new FileNotFoundException(themeName);
	}

	// Initialize constants
	variables = new HashMap();
	NodeList nodes = xmlDoc.getElementsByTagName("constant");
	int n = nodes.getLength();
	for (int i = 0; i < n; i++) {
	    Node node = nodes.item(i);
	    String name = getStringAttr(node, "name");
	    if (name != null) {
		String value = getStringAttr(node, "value");
		if (value != null) {
		    try {
			variables.put(name, Integer.parseInt(value));
		    } catch (NumberFormatException ex) {
			logError(themeName, ex);
			// Ignore bad value
		    }
		}
	    }
	}

	// Cache frame geometries
	frameGeometries = new HashMap();
	nodes = xmlDoc.getElementsByTagName("frame_geometry");
	n = nodes.getLength();
	for (int i = 0; i < n; i++) {
	    Node node = nodes.item(i);
	    String name = getStringAttr(node, "name");
	    if (name != null) {
		HashMap<String, Object> gm = new HashMap();
		frameGeometries.put(name, gm);

		String parentGM = getStringAttr(node, "parent");
		if (parentGM != null) {
		    gm.putAll(frameGeometries.get(parentGM));
		}

		gm.put("has_title",
		       Boolean.valueOf(getBooleanAttr(node, "has_title",            true)));
		gm.put("rounded_top_left",
		       Boolean.valueOf(getBooleanAttr(node, "rounded_top_left",     false)));
		gm.put("rounded_top_right",
		       Boolean.valueOf(getBooleanAttr(node, "rounded_top_right",    false)));
		gm.put("rounded_bottom_left",
		       Boolean.valueOf(getBooleanAttr(node, "rounded_bottom_left",  false)));
		gm.put("rounded_bottom_right",
		       Boolean.valueOf(getBooleanAttr(node, "rounded_bottom_right", false)));
		
		NodeList childNodes = node.getChildNodes();
		int nc = childNodes.getLength();
		for (int j = 0; j < nc; j++) {
		    Node child = childNodes.item(j);
		    if (child.getNodeType() == Node.ELEMENT_NODE) {
			name = child.getNodeName();
			Object value = null;
			if ("distance".equals(name)) {
			    value = new Integer(getIntAttr(child, "value", 0));
			} else if ("border".equals(name)) {	
			    value = new Insets(getIntAttr(child, "top", 0),
					       getIntAttr(child, "left", 0),
					       getIntAttr(child, "bottom", 0),
					       getIntAttr(child, "right", 0));
			} else if ("aspect_ratio".equals(name)) {
			    value = new Float(getFloatAttr(child, "value", 1.0F));
			} else {
			    logError(themeName, "Unknown Metacity frame geometry value type: "+name);
			}
			String childName = getStringAttr(child, "name");
			if (childName != null && value != null) {
			    gm.put(childName, value);
			}
		    }
		}
	    }
	}
	frameGeometry = frameGeometries.get("normal");
    }


    public static LayoutManager getTitlePaneLayout() {
	return INSTANCE.titlePaneLayout;
    }

    private Shape getRoundedClipShape(int x, int y, int w, int h,
				      int arcw, int arch, int corners) {
	if (roundedClipShape == null) {
	    roundedClipShape = new RoundRectClipShape();
	}
	roundedClipShape.setRoundedRect(x, y, w, h, arcw, arch, corners);

	return roundedClipShape;
    }

    void paintButtonBackground(SynthContext context, Graphics g, int x, int y, int w, int h) {
	updateFrameGeometry(context);

	this.context = context;
	JButton button = (JButton)context.getComponent();
	String buttonName = button.getName();
	int buttonState = context.getComponentState();

	JComponent titlePane = (JComponent)button.getParent();
	Container titlePaneParent = titlePane.getParent();

	JInternalFrame jif;
	if (titlePaneParent instanceof JInternalFrame) {
	    jif = (JInternalFrame)titlePaneParent;
	} else if (titlePaneParent instanceof JInternalFrame.JDesktopIcon) {
	    jif = ((JInternalFrame.JDesktopIcon)titlePaneParent).getInternalFrame();
	} else {
	    return;
	}

	boolean active = jif.isSelected();
	button.setOpaque(false);

	String state = "normal";
	if ((buttonState & PRESSED) != 0) {
	    state = "pressed";
	} else if ((buttonState & MOUSE_OVER) != 0) {
	    state = "prelight";
	}

	String function = null;
	String location = null;
	boolean left_corner  = false;
	boolean right_corner = false;


	if (buttonName == "InternalFrameTitlePane.menuButton") {
	    function = "menu";
	    location = "left_left";
	    left_corner = true;
	} else if (buttonName == "InternalFrameTitlePane.iconifyButton") {
	    function = "minimize";
	    int nButtons = ((jif.isIconifiable() ? 1 : 0) +
			    (jif.isMaximizable() ? 1 : 0) +
			    (jif.isClosable() ? 1 : 0));
	    right_corner = (nButtons == 1);
	    switch (nButtons) {
	      case 1: location = "right_right"; break;
	      case 2: location = "right_middle"; break;
	      case 3: location = "right_left"; break;
	    }
	} else if (buttonName == "InternalFrameTitlePane.maximizeButton") {
	    function = "maximize";
	    right_corner = !jif.isClosable();
	    location = jif.isClosable() ? "right_middle" : "right_right";
	} else if (buttonName == "InternalFrameTitlePane.closeButton") {
	    function = "close";
	    right_corner = true;
	    location = "right_right";
	}

	Node frame = getNode(frame_style_set, "frame", new String[] {
	    "focus", (active ? "yes" : "no"),
	    "state", (jif.isMaximum() ? "maximized" : "normal")
	});

	if (function != null && frame != null) {
	    Node frame_style = getNode("frame_style", new String[] {
		"name", getStringAttr(frame, "style")
	    });
	    if (frame_style != null) {
		Shape oldClip = g.getClip();
		if ((right_corner && getBoolean("rounded_top_right", false)) ||
		    (left_corner  && getBoolean("rounded_top_left", false))) { 

		    Point buttonLoc = button.getLocation();
		    if (right_corner) { 
			g.setClip(getRoundedClipShape(0, 0, w, h,
						      12, 12, RoundRectClipShape.TOP_RIGHT));
		    } else {
			g.setClip(getRoundedClipShape(0, 0, w, h,
						      11, 11, RoundRectClipShape.TOP_LEFT));
		    }

                    Rectangle clipBounds = oldClip.getBounds();
                    g.clipRect(clipBounds.x, clipBounds.y, 
                               clipBounds.width, clipBounds.height);
		}
		drawButton(frame_style, location+"_background", state, g, w, h, jif);
		drawButton(frame_style, function, state, g, w, h, jif);
		g.setClip(oldClip);
	    }
	}
    }

    protected void drawButton(Node frame_style, String function, String state,
			    Graphics g, int w, int h, JInternalFrame jif) {
	Node buttonNode = getNode(frame_style, "button",
				  new String[] { "function", function, "state", state });
	if (buttonNode == null && !state.equals("normal")) {
	    buttonNode = getNode(frame_style, "button",
				 new String[] { "function", function, "state", "normal" });
	}
	if (buttonNode != null) {
	    Node draw_ops;
	    String draw_ops_name = getStringAttr(buttonNode, "draw_ops");
	    if (draw_ops_name != null) {
		draw_ops = getNode("draw_ops", new String[] { "name", draw_ops_name });
	    } else {
		draw_ops = getNode(buttonNode, "draw_ops", null);
	    }
	    variables.put("width",  w);
	    variables.put("height", h);
	    draw(draw_ops, g, jif);
	}
    }

    void paintFrameBorder(SynthContext context, Graphics g, int x0, int y0, int width, int height) {
	updateFrameGeometry(context);

	this.context = context;
	JComponent comp = context.getComponent();
	JComponent titlePane = findChild(comp, "InternalFrame.northPane");

	if (titlePane == null) {
	    return;
	}

        JInternalFrame jif = null;
        if (comp instanceof JInternalFrame) {
            jif = (JInternalFrame)comp;
	} else if (comp instanceof JInternalFrame.JDesktopIcon) {
	    jif = ((JInternalFrame.JDesktopIcon)comp).getInternalFrame();
	} else {
	    assert false : "component is not JInternalFrame or JInternalFrame.JDesktopIcon";
	    return;
        }

	boolean active = jif.isSelected();
	Font oldFont = g.getFont();
	g.setFont(titlePane.getFont());
	g.translate(x0, y0);

	Rectangle titleRect = calculateTitleArea(jif);
	JComponent menuButton = findChild(titlePane, "InternalFrameTitlePane.menuButton");

	Icon frameIcon = jif.getFrameIcon();
	variables.put("mini_icon_width",
		      (frameIcon != null) ? frameIcon.getIconWidth()  : 0);
	variables.put("mini_icon_height",
		      (frameIcon != null) ? frameIcon.getIconHeight() : 0);
	variables.put("title_width",  calculateTitleTextWidth(g, jif));
	FontMetrics fm = SwingUtilities2.getFontMetrics(jif, g);
	variables.put("title_height", fm.getAscent() + fm.getDescent());

	// These don't seem to apply here, but the Galaxy theme uses them. Not sure why.
	variables.put("icon_width",  32);
	variables.put("icon_height", 32);

	if (frame_style_set != null) {
	    Node frame = getNode(frame_style_set, "frame", new String[] {
		"focus", (active ? "yes" : "no"),
		"state", (jif.isMaximum() ? "maximized" : "normal")
	    });

	    if (frame != null) {
		Node frame_style = getNode("frame_style", new String[] {
		    "name", getStringAttr(frame, "style")
		});
		if (frame_style != null) {
		    Shape oldClip = g.getClip();
		    boolean roundTopLeft     = getBoolean("rounded_top_left",     false);
		    boolean roundTopRight    = getBoolean("rounded_top_right",    false);
		    boolean roundBottomLeft  = getBoolean("rounded_bottom_left",  false);
		    boolean roundBottomRight = getBoolean("rounded_bottom_right", false);

		    if (roundTopLeft || roundTopRight || roundBottomLeft || roundBottomRight) {
			jif.setOpaque(false);

			g.setClip(getRoundedClipShape(0, 0, width, height, 12, 12,
					(roundTopLeft     ? RoundRectClipShape.TOP_LEFT     : 0) |
					(roundTopRight    ? RoundRectClipShape.TOP_RIGHT    : 0) |
					(roundBottomLeft  ? RoundRectClipShape.BOTTOM_LEFT  : 0) |
					(roundBottomRight ? RoundRectClipShape.BOTTOM_RIGHT : 0)));
		    }
                
                    Rectangle clipBounds = oldClip.getBounds();
                    g.clipRect(clipBounds.x, clipBounds.y,
                               clipBounds.width, clipBounds.height);

		    int titleHeight = titlePane.getHeight();

		    boolean minimized = jif.isIcon();
		    Insets insets = getBorderInsets(context, null);

		    int leftTitlebarEdge   = getInt("left_titlebar_edge");
		    int rightTitlebarEdge  = getInt("right_titlebar_edge");
		    int topTitlebarEdge    = getInt("top_titlebar_edge");
		    int bottomTitlebarEdge = getInt("bottom_titlebar_edge");

		    if (!minimized) {
			drawPiece(frame_style, g, "entire_background",
				  0, 0, width, height, jif);
		    }
		    drawPiece(frame_style, g, "titlebar",
			      0, 0, width, titleHeight, jif);
		    drawPiece(frame_style, g, "titlebar_middle",
			      leftTitlebarEdge, topTitlebarEdge,
			      width - leftTitlebarEdge - rightTitlebarEdge,
			      titleHeight - topTitlebarEdge - bottomTitlebarEdge,
			      jif);
		    drawPiece(frame_style, g, "left_titlebar_edge",
			      0, 0, leftTitlebarEdge, titleHeight, jif);
		    drawPiece(frame_style, g, "right_titlebar_edge",
			      width - rightTitlebarEdge, 0,
			      rightTitlebarEdge, titleHeight, jif);
		    drawPiece(frame_style, g, "top_titlebar_edge",
			      0, 0, width, topTitlebarEdge, jif);
		    drawPiece(frame_style, g, "bottom_titlebar_edge",
			      0, titleHeight - bottomTitlebarEdge,
			      width, bottomTitlebarEdge, jif);
		    drawPiece(frame_style, g, "title",
			      titleRect.x, titleRect.y, titleRect.width, titleRect.height, jif);
		    if (!minimized) {
			drawPiece(frame_style, g, "left_edge",
				  0, titleHeight, insets.left, height-titleHeight, jif);
			drawPiece(frame_style, g, "right_edge",
				  width-insets.right, titleHeight, insets.right, height-titleHeight, jif);
			drawPiece(frame_style, g, "bottom_edge",
				  0, height - insets.bottom, width, insets.bottom, jif);
			drawPiece(frame_style, g, "overlay",
				  0, 0, width, height, jif);
		    }
		    g.setClip(oldClip);
		}
	    }
	}
	g.translate(-x0, -y0);
	g.setFont(oldFont);
    }



    private static class Privileged implements PrivilegedAction { 
	private static int GET_THEME_DIR  = 0;
	private static int GET_USER_THEME = 1;
	private static int GET_IMAGE      = 2;
	private int type;
	private Object arg;

	public Object doPrivileged(int type, Object arg) {
	    this.type = type;
	    this.arg = arg;
	    return AccessController.doPrivileged(this);
	}

	public Object run() {
	    if (type == GET_THEME_DIR) {
		String sep = File.separator;
		String[] dirs = new String[] {
		    userHome + sep + ".themes",
		    System.getProperty("swing.metacitythemedir"),
		    "/usr/share/themes",
		    "/usr/gnome/share/themes",  // Debian/Redhat/Solaris
                    "/opt/gnome2/share/themes"  // SuSE
		};

		URL themeDir = null;
		for (int i = 0; i < dirs.length; i++) {
                    // System property may not be set so skip null directories.
                    if (dirs[i] == null) {
                        continue;
                    }
                    File dir =
                        new File(dirs[i] + sep + arg + sep + "metacity-1");
		    if (new File(dir, "metacity-theme-1.xml").canRead()) {
			try {
			    themeDir = dir.toURL();
			} catch (MalformedURLException ex) {
			    themeDir = null;
			}
			break;
		    }
		}
		if (themeDir == null) {
		    String filename = "resources/metacity/" + arg +
                        "/metacity-1/metacity-theme-1.xml";
		    URL url = getClass().getResource(filename);
		    if (url != null) {
			String str = url.toString();
			try {
			    themeDir = new URL(str.substring(0, str.lastIndexOf('/'))+"/");
			} catch (MalformedURLException ex) {
			    themeDir = null;
			}
		    }
		}
		return themeDir;
	    } else if (type == GET_USER_THEME) {
		try {
		    // Set userHome here because we need the privilege
		    userHome = System.getProperty("user.home");

		    String theme = System.getProperty("swing.metacitythemename");
		    if (theme != null) {
			return theme;
		    }
		    // Note: this is a small file (< 1024 bytes) so it's not worth
		    // starting an XML parser or even to use a buffered reader.
		    URL url = new URL(new File(userHome).toURL(),
				      ".gconf/apps/metacity/general/%25gconf.xml");
		    // Pending: verify character encoding spec for gconf
		    Reader reader = new InputStreamReader(url.openStream(), "ISO-8859-1");
		    char[] buf = new char[1024];
		    StringBuffer strBuf = new StringBuffer();
		    int n;
		    while ((n = reader.read(buf)) >= 0) {
			strBuf.append(buf, 0, n);
		    }	    
		    reader.close();
		    String str = strBuf.toString();
		    if (str != null) {
			String strLowerCase = str.toLowerCase();
			int i = strLowerCase.indexOf("<entry name=\"theme\"");
			if (i >= 0) {
			    i = strLowerCase.indexOf("<stringvalue>", i);
			    if (i > 0) {
				i += "<stringvalue>".length();
				int i2 = str.indexOf("<", i);
				return str.substring(i, i2);
			    }
			}
		    }
		} catch (MalformedURLException ex) {
		    // OK to just ignore. We'll use a fallback theme.
		} catch (IOException ex) {
		    // OK to just ignore. We'll use a fallback theme.
		}
		return null;
	    } else if (type == GET_IMAGE) {
		return new ImageIcon((URL)arg).getImage();
	    } else {
		return null;
	    }
	}
    }

    private static URL getThemeDir(String themeName) {
	return (URL)new Privileged().doPrivileged(Privileged.GET_THEME_DIR, themeName);
    }

    private static String getUserTheme() {
	return (String)new Privileged().doPrivileged(Privileged.GET_USER_THEME, null);
    }

    protected void tileImage(Graphics g, Image image, int x0, int y0, int w, int h, float[] alphas) {
	Graphics2D g2 = (Graphics2D)g;
	Composite oldComp = g2.getComposite();

	int sw = image.getWidth(null);
	int sh = image.getHeight(null);
	int y = y0;
	while (y < y0 + h) {
	    sh = Math.min(sh, y0 + h - y);
	    int x = x0;
	    while (x < x0 + w) {
		float f = (alphas.length - 1.0F) * x / (x0 + w);
		int i = (int)f;
		f -= (int)f;
		float alpha = (1-f) * alphas[i];
		if (i+1 < alphas.length) {
		    alpha += f * alphas[i+1];
		}
		g2.setComposite(AlphaComposite.getInstance(AlphaComposite.SRC_OVER, alpha));
		int swm = Math.min(sw, x0 + w - x);
		g.drawImage(image, x, y, x+swm, y+sh, 0, 0, swm, sh, null);
		x += swm;
	    }
	    y += sh;
	}
	g2.setComposite(oldComp);
    }

    private HashMap<String, Image> images = new HashMap();

    protected Image getImage(String key, Color c) {
	Image image = images.get(key+"-"+c.getRGB());
	if (image == null) {
	    image = imageFilter.colorize(getImage(key), c);
	    if (image != null) {
		images.put(key+"-"+c.getRGB(), image);
	    }
	}
	return image;
    }

    protected Image getImage(String key) {
	Image image = images.get(key);
	if (image == null) {
	    if (themeDir != null) {
		try {
		    URL url = new URL(themeDir, key);
		    image = (Image)new Privileged().doPrivileged(Privileged.GET_IMAGE, url);
		} catch (MalformedURLException ex) {
		    //log("Bad image url: "+ themeDir + "/" + key);
		}
	    }
	    if (image != null) {
		images.put(key, image);
	    }
	}
	return image;
    }

    private class ColorizeImageFilter extends RGBImageFilter {
	double cr, cg, cb;

	public ColorizeImageFilter() {
	    canFilterIndexColorModel = true;
	}

	public void setColor(Color color) {
	    cr = color.getRed()   / 255.0;
	    cg = color.getGreen() / 255.0;
	    cb = color.getBlue()  / 255.0;
	}

	public Image colorize(Image fromImage, Color c) {
	    setColor(c);
	    ImageProducer producer = new FilteredImageSource(fromImage.getSource(), this);
	    return new ImageIcon(context.getComponent().createImage(producer)).getImage();
	}

	public int filterRGB(int x, int y, int rgb) {
	    // Assume all rgb values are shades of gray
	    double grayLevel = 2 * (rgb & 0xff) / 255.0;
	    double r, g, b;

	    if (grayLevel <= 1.0) {
		r = cr * grayLevel;
		g = cg * grayLevel;
		b = cb * grayLevel;
            } else {
		grayLevel -= 1.0;
		r = cr + (1.0 - cr) * grayLevel;
		g = cg + (1.0 - cg) * grayLevel;
		b = cb + (1.0 - cb) * grayLevel;
            }

	    return ((rgb & 0xff000000) +
		    (((int)(r * 255)) << 16) +
		    (((int)(g * 255)) << 8) +
		    (int)(b * 255));
	}
    }

    protected static JComponent findChild(JComponent parent, String name) {
	int n = parent.getComponentCount();
	for (int i = 0; i < n; i++) {
	    JComponent c = (JComponent)parent.getComponent(i);
	    if (name.equals(c.getName())) {
		return c;
	    }
	}
	return null;
    }


    protected class TitlePaneLayout implements LayoutManager {
        public void addLayoutComponent(String name, Component c) {}
        public void removeLayoutComponent(Component c) {}    
        public Dimension preferredLayoutSize(Container c)  {
	    return minimumLayoutSize(c);
	}
    
        public Dimension minimumLayoutSize(Container c) {
	    JComponent titlePane = (JComponent)c;
	    Container titlePaneParent = titlePane.getParent();
	    JInternalFrame frame;
	    if (titlePaneParent instanceof JInternalFrame) {
		frame = (JInternalFrame)titlePaneParent;
	    } else if (titlePaneParent instanceof JInternalFrame.JDesktopIcon) {
		frame = ((JInternalFrame.JDesktopIcon)titlePaneParent).getInternalFrame();
	    } else {
		return null;
	    }

	    Dimension buttonDim = calculateButtonSize(titlePane);
	    Insets title_border  = (Insets)getFrameGeometry().get("title_border");
	    Insets button_border = (Insets)getFrameGeometry().get("button_border");

            // Calculate width.
            int width = getInt("left_titlebar_edge") + buttonDim.width + getInt("right_titlebar_edge");
	    if (title_border != null) {
		width += title_border.left + title_border.right;
	    }
            if (frame.isClosable()) {
                width += buttonDim.width;
            }
            if (frame.isMaximizable()) {
                width += buttonDim.width;
            }
            if (frame.isIconifiable()) {
                width += buttonDim.width;
            }
            FontMetrics fm = frame.getFontMetrics(titlePane.getFont());
            String frameTitle = frame.getTitle();
            int title_w = frameTitle != null ? SwingUtilities2.stringWidth(
                               frame, fm, frameTitle) : 0;
            int title_length = frameTitle != null ? frameTitle.length() : 0;

            // Leave room for three characters in the title.
            if (title_length > 3) {
                int subtitle_w = SwingUtilities2.stringWidth(
                    frame, fm, frameTitle.substring(0, 3) + "...");
                width += (title_w < subtitle_w) ? title_w : subtitle_w;
            } else {
                width += title_w;
            }

            // Calculate height.
	    int titleHeight = fm.getHeight() + getInt("title_vertical_pad");
	    if (title_border != null) {
		titleHeight += title_border.top + title_border.bottom;
	    }
	    int buttonHeight = buttonDim.height;
	    if (button_border != null) {
		buttonHeight += button_border.top + button_border.bottom;
	    }
            int height = Math.max(buttonHeight, titleHeight);

            return new Dimension(width, height);
	}
    
        public void layoutContainer(Container c) {
	    JComponent titlePane = (JComponent)c;
	    Container titlePaneParent = titlePane.getParent();
	    JInternalFrame frame;
	    if (titlePaneParent instanceof JInternalFrame) {
		frame = (JInternalFrame)titlePaneParent;
	    } else if (titlePaneParent instanceof JInternalFrame.JDesktopIcon) {
		frame = ((JInternalFrame.JDesktopIcon)titlePaneParent).getInternalFrame();
	    } else {
		return;
	    }
	    Map gm = getFrameGeometry();

            int w = titlePane.getWidth();
            int h = titlePane.getHeight();

	    JComponent menuButton     = findChild(titlePane, "InternalFrameTitlePane.menuButton");
	    JComponent minimizeButton = findChild(titlePane, "InternalFrameTitlePane.iconifyButton");
	    JComponent maximizeButton = findChild(titlePane, "InternalFrameTitlePane.maximizeButton");
	    JComponent closeButton    = findChild(titlePane, "InternalFrameTitlePane.closeButton");

	    int buttonGap = 0;

	    Insets button_border = (Insets)gm.get("button_border");
	    Dimension buttonDim = calculateButtonSize(titlePane);

            int x = getInt("left_titlebar_edge");
	    int y = (button_border != null) ? button_border.top : 0;

            menuButton.setBounds(x, y, buttonDim.width, buttonDim.height);

            x = w - buttonDim.width - getInt("right_titlebar_edge");
	    if (button_border != null) {
		x -= button_border.right;
	    }

            if (frame.isClosable()) {
                closeButton.setBounds(x, y, buttonDim.width, buttonDim.height);
                x -= (buttonDim.width + buttonGap);
            } 

            if (frame.isMaximizable()) {
                maximizeButton.setBounds(x, y, buttonDim.width, buttonDim.height);
                x -= (buttonDim.width + buttonGap);
            }

            if (frame.isIconifiable()) {
                minimizeButton.setBounds(x, y, buttonDim.width, buttonDim.height);
            } 
        }
    } // end TitlePaneLayout

    protected Map getFrameGeometry() {
	return frameGeometry;
    }

    protected void setFrameGeometry(JComponent titlePane, Map gm) {
	this.frameGeometry = gm;
        if (getInt("top_height") == 0 && titlePane != null) {
	    gm.put("top_height", new Integer(titlePane.getHeight()));
	}
    }

    protected int getInt(String key) {
	Integer i = (Integer)frameGeometry.get(key);
	if (i == null) {
	    i = variables.get(key);
	}
	return (i != null) ? i.intValue() : 0;
    }

    protected boolean getBoolean(String key, boolean fallback) {
	Boolean b = (Boolean)frameGeometry.get(key);
	return (b != null) ? b.booleanValue() : fallback;
    }


    protected void drawArc(Node node, Graphics g) {
	NamedNodeMap attrs = node.getAttributes();
	Color color = parseColor(getStringAttr(attrs, "color"));
	int x = aee.evaluate(getStringAttr(attrs, "x"));
	int y = aee.evaluate(getStringAttr(attrs, "y"));
	int w = aee.evaluate(getStringAttr(attrs, "width"));
	int h = aee.evaluate(getStringAttr(attrs, "height"));
	int start_angle = aee.evaluate(getStringAttr(attrs, "start_angle"));
	int extent_angle = aee.evaluate(getStringAttr(attrs, "extent_angle"));
	boolean filled = getBooleanAttr(node, "filled", false);
	if (getInt("width") == -1) {
	    x -= w;
	}
	if (getInt("height") == -1) {
	    y -= h;
	}
	g.setColor(color);
	if (filled) {
	    g.fillArc(x, y, w, h, start_angle, extent_angle);
	} else {
	    g.drawArc(x, y, w, h, start_angle, extent_angle);
	}
    }

    protected void drawLine(Node node, Graphics g) {
	NamedNodeMap attrs = node.getAttributes();
	Color color = parseColor(getStringAttr(attrs, "color"));
	int x1 = aee.evaluate(getStringAttr(attrs, "x1"));
	int y1 = aee.evaluate(getStringAttr(attrs, "y1"));
	int x2 = aee.evaluate(getStringAttr(attrs, "x2"));
	int y2 = aee.evaluate(getStringAttr(attrs, "y2"));
	int lineWidth = aee.evaluate(getStringAttr(attrs, "width"), 1);
	g.setColor(color);
	if (lineWidth != 1) {
	    Graphics2D g2d = (Graphics2D)g;
	    Stroke stroke = g2d.getStroke();
	    g2d.setStroke(new BasicStroke((float)lineWidth));
	    g2d.drawLine(x1, y1, x2, y2);
	    g2d.setStroke(stroke);
	} else {
	    g.drawLine(x1, y1, x2, y2);
	}
    }

    protected void drawRectangle(Node node, Graphics g) {
	NamedNodeMap attrs = node.getAttributes();
	Color color = parseColor(getStringAttr(attrs, "color"));
	boolean filled = getBooleanAttr(node, "filled", false);
	int x = aee.evaluate(getStringAttr(attrs, "x"));
	int y = aee.evaluate(getStringAttr(attrs, "y"));
	int w = aee.evaluate(getStringAttr(attrs, "width"));
	int h = aee.evaluate(getStringAttr(attrs, "height"));
	g.setColor(color);
	if (getInt("width") == -1) {
	    x -= w;
	}
	if (getInt("height") == -1) {
	    y -= h;
	}
	if (filled) {
	    g.fillRect(x, y, w, h);
	} else {
	    g.drawRect(x, y, w, h);
	}
    }

    protected void drawTile(Node node, Graphics g, JInternalFrame jif) {
	NamedNodeMap attrs = node.getAttributes();
	int x0 = aee.evaluate(getStringAttr(attrs, "x"));
	int y0 = aee.evaluate(getStringAttr(attrs, "y"));
	int w = aee.evaluate(getStringAttr(attrs, "width"));
	int h = aee.evaluate(getStringAttr(attrs, "height"));
	int tw = aee.evaluate(getStringAttr(attrs, "tile_width"));
	int th = aee.evaluate(getStringAttr(attrs, "tile_height"));
	int width  = getInt("width");
	int height = getInt("height");
	if (width == -1) {
	    x0 -= w;
	}
	if (height == -1) {
	    y0 -= h;
	}
	Shape oldClip = g.getClip();
	if (g instanceof Graphics2D) {
	    ((Graphics2D)g).clip(new Rectangle(x0, y0, w, h));
	}
	variables.put("width",  tw);
	variables.put("height", th);

	Node draw_ops = getNode("draw_ops", new String[] { "name", getStringAttr(node, "name") });
	
	int y = y0;
	while (y < y0 + h) {
	    int x = x0;
	    while (x < x0 + w) {
		g.translate(x, y);
		draw(draw_ops, g, jif);
		g.translate(-x, -y);
		x += tw;
	    }
	    y += th;
	}

	variables.put("width",  width);
	variables.put("height", height);
	g.setClip(oldClip);
    }

    protected void drawTint(Node node, Graphics g) {
	NamedNodeMap attrs = node.getAttributes();
	Color color = parseColor(getStringAttr(attrs, "color"));
	float alpha = Float.parseFloat(getStringAttr(attrs, "alpha"));
	int x = aee.evaluate(getStringAttr(attrs, "x"));
	int y = aee.evaluate(getStringAttr(attrs, "y"));
	int w = aee.evaluate(getStringAttr(attrs, "width"));
	int h = aee.evaluate(getStringAttr(attrs, "height"));
	if (getInt("width") == -1) {
	    x -= w;
	}
	if (getInt("height") == -1) {
	    y -= h;
	}
	if (g instanceof Graphics2D) {
	    Graphics2D g2 = (Graphics2D)g;
	    Composite oldComp = g2.getComposite();
	    AlphaComposite ac = AlphaComposite.getInstance(AlphaComposite.SRC_OVER, alpha);
	    g2.setComposite(ac);
	    g2.setColor(color);
	    g2.fillRect(x, y, w, h);
	    g2.setComposite(oldComp);
	}
    }

    protected void drawTitle(Node node, Graphics g, JInternalFrame jif) {
	NamedNodeMap attrs = node.getAttributes();
	String colorStr = getStringAttr(attrs, "color");
	int i = colorStr.indexOf("gtk:fg[");
	if (i > 0) {
	    colorStr = colorStr.substring(0, i) + "gtk:text[" + colorStr.substring(i+7);
	}
	Color color = parseColor(colorStr);
	int x = aee.evaluate(getStringAttr(attrs, "x"));
	int y = aee.evaluate(getStringAttr(attrs, "y"));

	String title = jif.getTitle();
        if (title != null) {
            FontMetrics fm = SwingUtilities2.getFontMetrics(jif, g);
	    if (jif.getComponentOrientation().isLeftToRight()) {
		title = SwingUtilities2.clipStringIfNecessary(jif, fm, title,
                             calculateTitleTextWidth(g, jif));
	    }
	    g.setColor(color);
            SwingUtilities2.drawString(jif, g, title, x, y + fm.getAscent());
        }
    }

    protected Dimension calculateButtonSize(JComponent titlePane) {
	int buttonHeight = getInt("button_height");
	if (buttonHeight == 0) {
	    buttonHeight = titlePane.getHeight();
	    if (buttonHeight == 0) {
		buttonHeight = 13;
	    } else {
		Insets button_border = (Insets)frameGeometry.get("button_border");
		if (button_border != null) {
		    buttonHeight -= (button_border.top + button_border.bottom);
		}
	    }
	}
	int buttonWidth = getInt("button_width");
	if (buttonWidth == 0) {
	    buttonWidth = buttonHeight;
	    Float aspect_ratio = (Float)frameGeometry.get("aspect_ratio");
	    if (aspect_ratio != null) {
		buttonWidth = (int)(buttonHeight / aspect_ratio.floatValue());
	    }
	}
	return new Dimension(buttonWidth, buttonHeight);
    }

    protected Rectangle calculateTitleArea(JInternalFrame jif) {
	JComponent titlePane = findChild(jif, "InternalFrame.northPane");
	Dimension buttonDim = calculateButtonSize(titlePane);
	Insets title_border = (Insets)frameGeometry.get("title_border");
	Rectangle r = new Rectangle();

	r.x = getInt("left_titlebar_edge") + buttonDim.width;
	r.y = 0;
	r.height = titlePane.getHeight();
	if (title_border != null) {
	    r.x += title_border.left;
	    r.y += title_border.top;
	    r.height -= (title_border.top + title_border.bottom);
	}

	r.width = titlePane.getWidth() - r.x - getInt("right_titlebar_edge");
	if (jif.isClosable()) {
	    r.width -= buttonDim.width;
	}
	if (jif.isMaximizable()) {
	    r.width -= buttonDim.width;
	}
	if (jif.isIconifiable()) {
	    r.width -= buttonDim.width;
	}
	if (title_border != null) {
	    r.width -= title_border.right;
	}
	return r;
    }


    protected int calculateTitleTextWidth(Graphics g, JInternalFrame jif) {
	String title = jif.getTitle();
	if (title != null) {
	    Rectangle r = calculateTitleArea(jif);
	    return Math.min(SwingUtilities2.stringWidth(jif,
                     SwingUtilities2.getFontMetrics(jif, g), title), r.width);
	}
	return 0;
    }

    protected void setClip(Node node, Graphics g) {
	NamedNodeMap attrs = node.getAttributes();
	int x = aee.evaluate(getStringAttr(attrs, "x"));
	int y = aee.evaluate(getStringAttr(attrs, "y"));
	int w = aee.evaluate(getStringAttr(attrs, "width"));
	int h = aee.evaluate(getStringAttr(attrs, "height"));
	if (getInt("width") == -1) {
	    x -= w;
	}
	if (getInt("height") == -1) {
	    y -= h;
	}
	if (g instanceof Graphics2D) {
	    ((Graphics2D)g).clip(new Rectangle(x, y, w, h));
	}
    }

    protected void drawGTKArrow(Node node, Graphics g) {
	NamedNodeMap attrs = node.getAttributes();
	String arrow    = getStringAttr(attrs, "arrow");
	String shadow   = getStringAttr(attrs, "shadow");
	String stateStr = getStringAttr(attrs, "state").toUpperCase();
	int x = aee.evaluate(getStringAttr(attrs, "x"));
	int y = aee.evaluate(getStringAttr(attrs, "y"));
	int w = aee.evaluate(getStringAttr(attrs, "width"));
	int h = aee.evaluate(getStringAttr(attrs, "height"));

	int state = -1;
	if ("NORMAL".equals(stateStr)) {
	    state = ENABLED;
	} else if ("SELECTED".equals(stateStr)) {
	    state = SELECTED;
	} else if ("INSENSITIVE".equals(stateStr)) {
	    state = DISABLED;
	} else if ("PRELIGHT".equals(stateStr)) {
	    state = MOUSE_OVER;
	}

	ShadowType shadowType = null;
	if ("in".equals(shadow)) {
	    shadowType = ShadowType.IN;
	} else if ("out".equals(shadow)) {
	    shadowType = ShadowType.OUT;
	} else if ("etched_in".equals(shadow)) {
	    shadowType = ShadowType.ETCHED_IN;
	} else if ("etched_out".equals(shadow)) {
	    shadowType = ShadowType.ETCHED_OUT;
	} else if ("none".equals(shadow)) {
	    shadowType = ShadowType.NONE;
	}

	ArrowType direction = null;
	if ("up".equals(arrow)) {
	    direction = ArrowType.UP;
	} else if ("down".equals(arrow)) {
	    direction = ArrowType.DOWN;
	} else if ("left".equals(arrow)) {
	    direction = ArrowType.LEFT;
	} else if ("right".equals(arrow)) {
	    direction = ArrowType.RIGHT;
	}

        GTKPainter.INSTANCE.paintMetacityElement(context, g, state,
                "metacity-arrow", x, y, w, h, shadowType, direction);
    }

    protected void drawGTKBox(Node node, Graphics g) {
	NamedNodeMap attrs = node.getAttributes();
	String shadow   = getStringAttr(attrs, "shadow");
	String stateStr = getStringAttr(attrs, "state").toUpperCase();
	int x = aee.evaluate(getStringAttr(attrs, "x"));
	int y = aee.evaluate(getStringAttr(attrs, "y"));
	int w = aee.evaluate(getStringAttr(attrs, "width"));
	int h = aee.evaluate(getStringAttr(attrs, "height"));

	int state = -1;
	if ("NORMAL".equals(stateStr)) {
	    state = ENABLED;
	} else if ("SELECTED".equals(stateStr)) {
	    state = SELECTED;
	} else if ("INSENSITIVE".equals(stateStr)) {
	    state = DISABLED;
	} else if ("PRELIGHT".equals(stateStr)) {
	    state = MOUSE_OVER;
	}

	ShadowType shadowType = null;
	if ("in".equals(shadow)) {
	    shadowType = ShadowType.IN;
	} else if ("out".equals(shadow)) {
	    shadowType = ShadowType.OUT;
	} else if ("etched_in".equals(shadow)) {
	    shadowType = ShadowType.ETCHED_IN;
	} else if ("etched_out".equals(shadow)) {
	    shadowType = ShadowType.ETCHED_OUT;
	} else if ("none".equals(shadow)) {
	    shadowType = ShadowType.NONE;
	}
        GTKPainter.INSTANCE.paintMetacityElement(context, g, state,
                "metacity-box", x, y, w, h, shadowType, null);
    }

    protected void drawGTKVLine(Node node, Graphics g) {
	NamedNodeMap attrs = node.getAttributes();
	String stateStr = getStringAttr(attrs, "state").toUpperCase();

	int x  = aee.evaluate(getStringAttr(attrs, "x"));
	int y1 = aee.evaluate(getStringAttr(attrs, "y1"));
	int y2 = aee.evaluate(getStringAttr(attrs, "y2"));

	int state = -1;
	if ("NORMAL".equals(stateStr)) {
	    state = ENABLED;
	} else if ("SELECTED".equals(stateStr)) {
	    state = SELECTED;
	} else if ("INSENSITIVE".equals(stateStr)) {
	    state = DISABLED;
	} else if ("PRELIGHT".equals(stateStr)) {
	    state = MOUSE_OVER;
	}

        GTKPainter.INSTANCE.paintMetacityElement(context, g, state,
                "metacity-vline", x, y1, 1, y2 - y1, null, null);
    }

    protected void drawGradient(Node node, Graphics g) {
	NamedNodeMap attrs = node.getAttributes();
	String type = getStringAttr(attrs, "type");
	float alpha = getFloatAttr(node, "alpha", -1F);
	int x = aee.evaluate(getStringAttr(attrs, "x"));
	int y = aee.evaluate(getStringAttr(attrs, "y"));
	int w = aee.evaluate(getStringAttr(attrs, "width"));
	int h = aee.evaluate(getStringAttr(attrs, "height"));
	if (getInt("width") == -1) {
	    x -= w;
	}
	if (getInt("height") == -1) {
	    y -= h;
	}

	// Get colors from child nodes
	Node[] colorNodes = getNodesByName(node, "color");
	Color[] colors = new Color[colorNodes.length];
	for (int i = 0; i < colorNodes.length; i++) {
	    colors[i] = parseColor(getStringAttr(colorNodes[i], "value"));
	}

	boolean horizontal = ("diagonal".equals(type) || "horizontal".equals(type));
	boolean vertical   = ("diagonal".equals(type) || "vertical".equals(type));

	if (g instanceof Graphics2D) {
	    Graphics2D g2 = (Graphics2D)g;
	    Composite oldComp = g2.getComposite();
	    if (alpha >= 0F) {
		g2.setComposite(AlphaComposite.getInstance(AlphaComposite.SRC_OVER, alpha));
	    }
	    int n = colors.length - 1;
	    for (int i = 0; i < n; i++) {
		g2.setPaint(new GradientPaint(x + (horizontal ? (i*w/n) : 0),
					      y + (vertical   ? (i*h/n) : 0),
					      colors[i],
					      x + (horizontal ? ((i+1)*w/n) : 0),
					      y + (vertical   ? ((i+1)*h/n) : 0),
					      colors[i+1]));
		g2.fillRect(x + (horizontal ? (i*w/n) : 0),
			    y + (vertical   ? (i*h/n) : 0),
			    (horizontal ? (w/n) : w),
			    (vertical   ? (h/n) : h));
	    }
	    g2.setComposite(oldComp);
	}
    }

    protected void drawImage(Node node, Graphics g) {
	NamedNodeMap attrs = node.getAttributes();
	String filename = getStringAttr(attrs, "filename");
	String colorizeStr = getStringAttr(attrs, "colorize");
	Color colorize = (colorizeStr != null) ? parseColor(colorizeStr) : null;
	String alpha = getStringAttr(attrs, "alpha");
	Image object = (colorize != null) ? getImage(filename, colorize) : getImage(filename);
	variables.put("object_width",  object.getWidth(null));
	variables.put("object_height", object.getHeight(null));
	String fill_type = getStringAttr(attrs, "fill_type"); 
	int x = aee.evaluate(getStringAttr(attrs, "x"));
	int y = aee.evaluate(getStringAttr(attrs, "y"));
	int w = aee.evaluate(getStringAttr(attrs, "width"));
	int h = aee.evaluate(getStringAttr(attrs, "height"));
	if (getInt("width") == -1) {
	    x -= w;
	}
	if (getInt("height") == -1) {
	    y -= h;
	}

	if (alpha != null) {
	    if ("tile".equals(fill_type)) {
		StringTokenizer tokenizer = new StringTokenizer(alpha, ":");
		float[] alphas = new float[tokenizer.countTokens()];
		for (int i = 0; i < alphas.length; i++) {
		    alphas[i] = Float.parseFloat(tokenizer.nextToken());
		}
		tileImage(g, object, x, y, w, h, alphas);
	    } else {
		float a = Float.parseFloat(alpha);
		if (g instanceof Graphics2D) {
		    Graphics2D g2 = (Graphics2D)g;
		    Composite oldComp = g2.getComposite();
		    g2.setComposite(AlphaComposite.getInstance(AlphaComposite.SRC_OVER, a));
		    g2.drawImage(object, x, y, w, h, null);
		    g2.setComposite(oldComp);
		}
	    }
	} else {
	    g.drawImage(object, x, y, w, h, null);
	}
    }

    protected void drawIcon(Node node, Graphics g, JInternalFrame jif) {
	Icon icon = jif.getFrameIcon();
	if (icon == null) {
	    return;
	}

	NamedNodeMap attrs = node.getAttributes();
	String alpha = getStringAttr(attrs, "alpha");
	int x = aee.evaluate(getStringAttr(attrs, "x"));
	int y = aee.evaluate(getStringAttr(attrs, "y"));
	int w = aee.evaluate(getStringAttr(attrs, "width"));
	int h = aee.evaluate(getStringAttr(attrs, "height"));
	if (getInt("width") == -1) {
	    x -= w;
	}
	if (getInt("height") == -1) {
	    y -= h;
	}

	if (alpha != null) {
	    float a = Float.parseFloat(alpha);
	    if (g instanceof Graphics2D) {
		Graphics2D g2 = (Graphics2D)g;
		Composite oldComp = g2.getComposite();
		g2.setComposite(AlphaComposite.getInstance(AlphaComposite.SRC_OVER, a));
		icon.paintIcon(jif, g, x, y);
		g2.setComposite(oldComp);
	    }
	} else {
	    icon.paintIcon(jif, g, x, y);
	}
    }

    protected void drawInclude(Node node, Graphics g, JInternalFrame jif) {
	int oldWidth  = getInt("width");
	int oldHeight = getInt("height");

	NamedNodeMap attrs = node.getAttributes();
	int x = aee.evaluate(getStringAttr(attrs, "x"),       0);
	int y = aee.evaluate(getStringAttr(attrs, "y"),       0);
	int w = aee.evaluate(getStringAttr(attrs, "width"),  -1);
	int h = aee.evaluate(getStringAttr(attrs, "height"), -1);

	if (w != -1) {
	    variables.put("width",  w);
	}
	if (h != -1) {
	    variables.put("height", h);
	}

	Node draw_ops = getNode("draw_ops", new String[] {
	    "name", getStringAttr(node, "name")
	});
	g.translate(x, y);
	draw(draw_ops, g, jif);
	g.translate(-x, -y);

	if (w != -1) {
	    variables.put("width",  oldWidth);
	}
	if (h != -1) {
	    variables.put("height", oldHeight);
	}
    }    

    protected void draw(Node draw_ops, Graphics g, JInternalFrame jif) {
	if (draw_ops != null) {
	    NodeList nodes = draw_ops.getChildNodes();
	    if (nodes != null) {
		Shape oldClip = g.getClip();
		for (int i = 0; i < nodes.getLength(); i++) {
		    Node child = nodes.item(i);
		    if (child.getNodeType() == Node.ELEMENT_NODE) {
			try {
			    String name = child.getNodeName();
			    if ("include".equals(name)) {
				drawInclude(child, g, jif);
			    } else if ("arc".equals(name)) {
				drawArc(child, g);
			    } else if ("clip".equals(name)) {
				setClip(child, g);
			    } else if ("gradient".equals(name)) {
				drawGradient(child, g);
			    } else if ("gtk_arrow".equals(name)) {
				drawGTKArrow(child, g);
			    } else if ("gtk_box".equals(name)) {
				drawGTKBox(child, g);
			    } else if ("gtk_vline".equals(name)) {
				drawGTKVLine(child, g);
			    } else if ("image".equals(name)) {
				drawImage(child, g);
			    } else if ("icon".equals(name)) {
				drawIcon(child, g, jif);
			    } else if ("line".equals(name)) {
				drawLine(child, g);
			    } else if ("rectangle".equals(name)) {
				drawRectangle(child, g);
			    } else if ("tint".equals(name)) {
				drawTint(child, g);
			    } else if ("tile".equals(name)) {
				drawTile(child, g, jif);
			    } else if ("title".equals(name)) {
				drawTitle(child, g, jif);
			    } else {
				System.err.println("Unknown Metacity drawing op: "+child);
			    }
			} catch (NumberFormatException ex) {
			    logError(themeName, ex);
			}
		    }
		}
		g.setClip(oldClip);
	    }
	}
    }

    protected void drawPiece(Node frame_style, Graphics g, String position, int x, int y,
			     int width, int height, JInternalFrame jif) {
	Node piece = getNode(frame_style, "piece", new String[] { "position", position });
	if (piece != null) {
	    Node draw_ops;
	    String draw_ops_name = getStringAttr(piece, "draw_ops");
	    if (draw_ops_name != null) {
		draw_ops = getNode("draw_ops", new String[] { "name", draw_ops_name });
	    } else {
		draw_ops = getNode(piece, "draw_ops", null);
	    }
	    variables.put("width",  width);
	    variables.put("height", height);
	    g.translate(x, y);
	    draw(draw_ops, g, jif);
	    g.translate(-x, -y);
	}
    }


    Insets getBorderInsets(SynthContext context, Insets insets) {
	updateFrameGeometry(context);

	if (insets == null) {
	    insets = new Insets(0, 0, 0, 0);
	}
	insets.top    = ((Insets)frameGeometry.get("title_border")).top;
	insets.bottom = getInt("bottom_height");
	insets.left   = getInt("left_width");
	insets.right  = getInt("right_width");
	return insets;
    }


    private void updateFrameGeometry(SynthContext context) {
        this.context = context;
        JComponent comp = context.getComponent();
        JComponent titlePane = findChild(comp, "InternalFrame.northPane");

        JInternalFrame jif = null;
        if (comp instanceof JInternalFrame) {
            jif = (JInternalFrame)comp;
        } else if (comp instanceof JInternalFrame.JDesktopIcon) {
            jif = ((JInternalFrame.JDesktopIcon)comp).getInternalFrame();
        } else {
	    assert false : "component is not JInternalFrame or JInternalFrame.JDesktopIcon";
            return;
        }

        if (frame_style_set == null) {
            Node window = getNode("window", new String[]{"type", "normal"});
             
            if (window != null) {
                frame_style_set = getNode("frame_style_set", 
                        new String[] {"name", getStringAttr(window, "style_set")});
            } 
            
            if (frame_style_set == null) {
                frame_style_set = getNode("frame_style_set", new String[] {"name", "normal"});
            }
        }        

        if (frame_style_set != null) {
            Node frame = getNode(frame_style_set, "frame", new String[] {
                "focus", (jif.isSelected() ? "yes" : "no"),
                "state", (jif.isMaximum() ? "maximized" : "normal")
            });

            if (frame != null) {
                Node frame_style = getNode("frame_style", new String[] {
                    "name", getStringAttr(frame, "style")
                });
                if (frame_style != null) {
                    Map gm = frameGeometries.get(getStringAttr(frame_style, "geometry"));

                    setFrameGeometry(titlePane, gm);
                }
            }
        }
    }


    protected static void logError(String themeName, Exception ex) {
	logError(themeName, ex.toString());
    }

    protected static void logError(String themeName, String msg) {
	if (!errorLogged) {
	    System.err.println("Exception in Metacity for theme \""+themeName+"\": "+msg);
	    errorLogged = true;
	}
    }


    // XML Parsing


    protected static Document getXMLDoc(final URL xmlFile)
				throws IOException,
                                       ParserConfigurationException,
                                       SAXException {
	if (documentBuilder == null) {
	    documentBuilder =
                DocumentBuilderFactory.newInstance().newDocumentBuilder();
	}
	InputStream inputStream =
            (InputStream)AccessController.doPrivileged(new PrivilegedAction() {
                public Object run() {
                    try { 
                        return new BufferedInputStream(xmlFile.openStream());
                    } catch (IOException ex) {
                        return null;
                    }
                }
            });

        Document doc = null;
        if (inputStream != null) {
	    doc = documentBuilder.parse(inputStream);
        }
        return doc;
    }


    protected Node[] getNodesByName(Node parent, String name) {
	NodeList nodes = parent.getChildNodes(); // ElementNode
	int n = nodes.getLength();
	ArrayList<Node> list = new ArrayList();
	for (int i=0; i < n; i++) {
	    Node node = nodes.item(i);
	    if (name.equals(node.getNodeName())) {
		list.add(node);
	    }
	}
	return list.toArray(new Node[list.size()]);
    }



    protected Node getNode(String tagName, String[] attrs) {
	NodeList nodes = xmlDoc.getElementsByTagName(tagName);
	return (nodes != null) ? getNode(nodes, tagName, attrs) : null;
    }

    protected Node getNode(Node parent, String name, String[] attrs) {
	Node node = null;
	NodeList nodes = parent.getChildNodes();
	if (nodes != null) {
	    node = getNode(nodes, name, attrs);
	}
	if (node == null) {
	    String inheritFrom = getStringAttr(parent, "parent");
	    if (inheritFrom != null) {
		Node inheritFromNode = getNode(parent.getParentNode(),
					       parent.getNodeName(),
					       new String[] { "name", inheritFrom });
		if (inheritFromNode != null) {
		    node = getNode(inheritFromNode, name, attrs);
		}
	    }
	}
	return node;
    }

    protected Node getNode(NodeList nodes, String name, String[] attrs) {
	int n = nodes.getLength();
	for (int i=0; i < n; i++) {
	    Node node = nodes.item(i);
	    if (name.equals(node.getNodeName())) {
		if (attrs != null) {
		    NamedNodeMap nodeAttrs = node.getAttributes();
		    if (nodeAttrs != null) {
			boolean matches = true;
			int nAttrs = attrs.length / 2;
			for (int a = 0; a < nAttrs; a++) {
			    String aName  = attrs[a * 2];
			    String aValue = attrs[a * 2 + 1];
			    Node attr = nodeAttrs.getNamedItem(aName);
			    if (attr == null || 
                                aValue != null && !aValue.equals((String)attr.getNodeValue())) {
				matches = false;
				break;
			    }
			}
			if (matches) {
			    return node;
			}
		    }
		} else {
		    return node;
		}
	    }
	}
	return null;
    }

    protected String getStringAttr(Node node, String name) {
	String value = null;
	NamedNodeMap attrs = node.getAttributes();
	if (attrs != null) {
	    value = getStringAttr(attrs, name);
	    if (value == null) {
		String inheritFrom = getStringAttr(attrs, "parent");
		if (inheritFrom != null) {
		    Node inheritFromNode = getNode(node.getParentNode(),
						   node.getNodeName(),
						   new String[] { "name", inheritFrom });
		    if (inheritFromNode != null) {
			value = getStringAttr(inheritFromNode, name);
		    }
		}
	    }
	}
	return value;
    }

    protected String getStringAttr(NamedNodeMap attrs, String name) {
	Node item = attrs.getNamedItem(name);
	return (item != null) ? (String)item.getNodeValue() : null;
    }

    protected boolean getBooleanAttr(Node node, String name, boolean fallback) {
	String str = getStringAttr(node, name);
	if (str != null) {
	    return Boolean.valueOf(str).booleanValue();
	}
	return fallback;
    }

    protected int getIntAttr(Node node, String name, int fallback) {
	String str = getStringAttr(node, name);
	int value = fallback;
	if (str != null) {
	    try {
		value = Integer.parseInt(str);
	    } catch (NumberFormatException ex) {
		logError(themeName, ex);
	    }
	}
	return value;
    }

    protected float getFloatAttr(Node node, String name, float fallback) {
	String str = getStringAttr(node, name);
	float value = fallback;
	if (str != null) {
	    try {
		value = Float.parseFloat(str);
	    } catch (NumberFormatException ex) {
		logError(themeName, ex);
	    }
	}
	return value;
    }



    protected Color parseColor(String str) {
	StringTokenizer tokenizer = new StringTokenizer(str, "/");
	int n = tokenizer.countTokens();
	if (n > 1) {
	    String function = tokenizer.nextToken();
	    if ("shade".equals(function)) {
		assert (n == 3);
		Color c = parseColor2(tokenizer.nextToken());
		float alpha = Float.parseFloat(tokenizer.nextToken());
		return GTKColorType.adjustColor(c, 1.0F, alpha, alpha);
	    } else if ("blend".equals(function)) {
		assert (n == 4);
                Color  bg = parseColor2(tokenizer.nextToken());
                Color  fg = parseColor2(tokenizer.nextToken());
                float alpha = Float.parseFloat(tokenizer.nextToken());
                if (alpha > 1.0f) {
                    alpha = 1.0f / alpha;
                }
                
		return new Color((int)(bg.getRed() + ((fg.getRed() - bg.getRed()) * alpha)),
				 (int)(bg.getRed() + ((fg.getRed() - bg.getRed()) * alpha)),
				 (int)(bg.getRed() + ((fg.getRed() - bg.getRed()) * alpha)));
	    } else {
		System.err.println("Unknown Metacity color function="+str);
		return null;
	    }
	} else {
	    return parseColor2(str);
	}
    }

    protected Color parseColor2(String str) {
	Color c = null;
	if (str.startsWith("gtk:")) {
	    int i1 = str.indexOf('[');
	    if (i1 > 3) {
		String typeStr = str.substring(4, i1).toLowerCase();
		int i2 = str.indexOf(']');
		if (i2 > i1+1) {
		    String stateStr = str.substring(i1+1, i2).toUpperCase();
		    int state = -1;
		    if ("ACTIVE".equals(stateStr)) {
			state = PRESSED;
		    } else if ("INSENSITIVE".equals(stateStr)) {
			state = DISABLED;
		    } else if ("NORMAL".equals(stateStr)) {
			state = ENABLED;
		    } else if ("PRELIGHT".equals(stateStr)) {
			state = MOUSE_OVER;
		    } else if ("SELECTED".equals(stateStr)) {
			state = SELECTED;
		    }
		    ColorType type = null;
		    if ("fg".equals(typeStr)) {
			type = GTKColorType.FOREGROUND;
		    } else if ("bg".equals(typeStr)) {
			type = GTKColorType.BACKGROUND;
		    } else if ("base".equals(typeStr)) {
			type = GTKColorType.TEXT_BACKGROUND;
		    } else if ("text".equals(typeStr)) {
			type = GTKColorType.TEXT_FOREGROUND;
		    } else if ("dark".equals(typeStr)) {
			type = GTKColorType.DARK;
		    } else if ("light".equals(typeStr)) {
			type = GTKColorType.LIGHT;
		    }
		    if (state >= 0 && type != null) {
			c = ((GTKStyle)context.getStyle()).getGTKColor(context, state, type);
		    }
		}
	    }
	}
	if (c == null) {
	    c = parseColorString(str);
	}
	return c;
    }

    private static Color parseColorString(String str) {
        if (str.charAt(0) == '#') {
            str = str.substring(1);
            
            int i = str.length();
            
            if (i < 3 || i > 12 || (i % 3) != 0) {
                return null;
            }
            
            i /= 3;
            
            int r;
            int g;
            int b;
            
            try {
                r = Integer.parseInt(str.substring(0, i), 16);
                g = Integer.parseInt(str.substring(i, i * 2), 16);
                b = Integer.parseInt(str.substring(i * 2, i * 3), 16);
            } catch (NumberFormatException nfe) {
                return null;
            }
            
            if (i == 4) {
                return new ColorUIResource(r / 65535.0f, g / 65535.0f, b / 65535.0f);
            } else if (i == 1) {
                return new ColorUIResource(r / 15.0f, g / 15.0f, b / 15.0f);
            } else if (i == 2) {
                return new ColorUIResource(r, g, b);
            } else {
                return new ColorUIResource(r / 4095.0f, g / 4095.0f, b / 4095.0f);
            }
        } else {
            return XColors.lookupColor(str);
        }
    }

    class ArithmeticExpressionEvaluator {
	private PeekableStringTokenizer tokenizer;

	int evaluate(String expr) {
	    tokenizer = new PeekableStringTokenizer(expr, " \t+-*/%()", true);
	    return Math.round(expression());
	}

	int evaluate(String expr, int fallback) {
	    return (expr != null) ? evaluate(expr) : fallback;
	}

	public float expression() {
	    float value = getTermValue();
	    boolean done = false;
	    while (!done && tokenizer.hasMoreTokens()) {
		String next = tokenizer.peek();
		if ("+".equals(next) ||
		    "-".equals(next) ||
		    "`max`".equals(next) ||
		    "`min`".equals(next)) {
		    tokenizer.nextToken();
		    float value2 = getTermValue();
		    if ("+".equals(next)) {
			value += value2;
		    } else if ("-".equals(next)) {
			value -= value2;
		    } else if ("`max`".equals(next)) {
			value = Math.max(value, value2);
		    } else if ("`min`".equals(next)) {
			value = Math.min(value, value2);
		    }
		} else {
		    done = true;
		}
	    }
	    return value;
	}

	public float getTermValue() {
	    float value = getFactorValue();
	    boolean done = false;
	    while (!done && tokenizer.hasMoreTokens()) {
		String next = tokenizer.peek();
		if ("*".equals(next) || "/".equals(next) || "%".equals(next)) {
		    tokenizer.nextToken();
		    float value2 = getFactorValue();
		    if ("*".equals(next)) { 
			value *= value2;
		    } else if ("/".equals(next)) { 
			value /= value2;
		    } else {
			value %= value2;
		    }
		} else {
		    done = true;
		}
	    }
	    return value;
	}

	public float getFactorValue() {
	    float value;
	    if ("(".equals(tokenizer.peek())) {
		tokenizer.nextToken();
		value = expression();
		tokenizer.nextToken(); // skip right paren
	    } else {
		String token = tokenizer.nextToken();
		if (Character.isDigit(token.charAt(0))) {
		    value = Float.parseFloat(token);
		} else {
		    Integer i = variables.get(token);
		    if (i == null) {
			i = (Integer)getFrameGeometry().get(token);
		    }
		    if (i == null) {
			logError(themeName, "Variable \"" + token + "\" not defined");
			return 0;
		    }
		    value = (i != null) ? i.intValue() : 0F;
		}
	    }
	    return value;
	}


    }

    static class PeekableStringTokenizer extends StringTokenizer {
	String token = null;

	public PeekableStringTokenizer(String str, String delim,
				       boolean returnDelims) {
	    super(str, delim, returnDelims);
	    peek();
	}

	public String peek() {
	    if (token == null) {
		token = nextToken();
	    }
	    return token;
	}

	public boolean hasMoreTokens() {
	    return (token != null || super.hasMoreTokens());
	}

	public String nextToken() {
	    if (token != null) {
		String t = token;
		token = null;
		if (hasMoreTokens()) {
		    peek();
		}
		return t;
	    } else {
		String token = super.nextToken();
		while ((token.equals(" ") || token.equals("\t"))
		       && hasMoreTokens()) {
		    token = super.nextToken();
		}
		return token;
	    }
	}
    }


    static class RoundRectClipShape extends RectangularShape {
	static final int TOP_LEFT = 1;
	static final int TOP_RIGHT = 2;
	static final int BOTTOM_LEFT = 4;
	static final int BOTTOM_RIGHT = 8;

	int x;
	int y;
	int width;
	int height;
	int arcwidth;
	int archeight;
	int corners;

	public RoundRectClipShape() {
	}

	public RoundRectClipShape(int x, int y, int w, int h,
				  int arcw, int arch, int corners) {
	    setRoundedRect(x, y, w, h, arcw, arch, corners);
	}

	public void setRoundedRect(int x, int y, int w, int h,
				   int arcw, int arch, int corners) {
	    this.corners = corners;
	    this.x = x;
	    this.y = y;
	    this.width = w;
	    this.height = h;
	    this.arcwidth = arcw;
	    this.archeight = arch;
	}

	public double getX() {
	    return (double)x;
	}

	public double getY() {
	    return (double)y;
	}

	public double getWidth() {
	    return (double)width;
	}

	public double getHeight() {
	    return (double)height;
	}

	public double getArcWidth() {
	    return (double)arcwidth;
	}

	public double getArcHeight() {
	    return (double)archeight;
	}

	public boolean isEmpty() {
	    return false;  // Not called
	}

	public Rectangle2D getBounds2D() {
	    return null;  // Not called
	}

	public int getCornerFlags() {
	    return corners;
	}

	public void setFrame(double x, double y, double w, double h) {
	    // Not called
	}

	public boolean contains(double x, double y) {
	    return false;  // Not called
	}

	private int classify(double coord, double left, double right, double arcsize) {
	    return 0;  // Not called
	}

	public boolean intersects(double x, double y, double w, double h) {
	    return false;  // Not called
	}

	public boolean contains(double x, double y, double w, double h) {
	    return false;  // Not called
	}

	public PathIterator getPathIterator(AffineTransform at) {
	    return new RoundishRectIterator(this, at);
	}


	static class RoundishRectIterator implements PathIterator {
	    double x, y, w, h, aw, ah;
	    AffineTransform affine;
	    int index;

	    double ctrlpts[][];
	    int types[];

	    private static final double angle = Math.PI / 4.0;
	    private static final double a = 1.0 - Math.cos(angle);
	    private static final double b = Math.tan(angle);
	    private static final double c = Math.sqrt(1.0 + b * b) - 1 + a;
	    private static final double cv = 4.0 / 3.0 * a * b / c;
	    private static final double acv = (1.0 - cv) / 2.0;

	    // For each array:
	    //     4 values for each point {v0, v1, v2, v3}:
	    //         point = (x + v0 * w + v1 * arcWidth,
	    //                  y + v2 * h + v3 * arcHeight);
	    private static final double CtrlPtTemplate[][] = {
		{  0.0,  0.0,  1.0,  0.0 },	/* BOTTOM LEFT corner */
		{  0.0,  0.0,  1.0, -0.5 },	/* BOTTOM LEFT arc start */
		{  0.0,  0.0,  1.0, -acv,	/* BOTTOM LEFT arc curve */
		   0.0,  acv,  1.0,  0.0,
		   0.0,  0.5,  1.0,  0.0 },
		{  1.0,  0.0,  1.0,  0.0 },	/* BOTTOM RIGHT corner */
		{  1.0, -0.5,  1.0,  0.0 },	/* BOTTOM RIGHT arc start */
		{  1.0, -acv,  1.0,  0.0,	/* BOTTOM RIGHT arc curve */
		   1.0,  0.0,  1.0, -acv,
		   1.0,  0.0,  1.0, -0.5 },
		{  1.0,  0.0,  0.0,  0.0 },	/* TOP RIGHT corner */
		{  1.0,  0.0,  0.0,  0.5 },	/* TOP RIGHT arc start */
		{  1.0,  0.0,  0.0,  acv,	/* TOP RIGHT arc curve */
		   1.0, -acv,  0.0,  0.0,
		   1.0, -0.5,  0.0,  0.0 },
		{  0.0,  0.0,  0.0,  0.0 },	/* TOP LEFT corner */
		{  0.0,  0.5,  0.0,  0.0 },	/* TOP LEFT arc start */
		{  0.0,  acv,  0.0,  0.0,	/* TOP LEFT arc curve */
		   0.0,  0.0,  0.0,  acv,
		   0.0,  0.0,  0.0,  0.5 },
		{},				/* Closing path element */
	    };
	    private static final int CornerFlags[] = {
		RoundRectClipShape.BOTTOM_LEFT,
		RoundRectClipShape.BOTTOM_RIGHT,
		RoundRectClipShape.TOP_RIGHT,
		RoundRectClipShape.TOP_LEFT,
	    };

	    RoundishRectIterator(RoundRectClipShape rr, AffineTransform at) {
		this.x = rr.getX();
		this.y = rr.getY();
		this.w = rr.getWidth();
		this.h = rr.getHeight();
		this.aw = Math.min(w, Math.abs(rr.getArcWidth()));
		this.ah = Math.min(h, Math.abs(rr.getArcHeight()));
		this.affine = at;
		if (w < 0 || h < 0) {
		    // Don't draw anything...
		    ctrlpts = new double[0][];
		    types = new int[0];
		} else {
		    int corners = rr.getCornerFlags();
		    int numedges = 5;  // 4xCORNER_POINT, CLOSE
		    for (int i = 1; i < 0x10; i <<= 1) {
			// Add one for each corner that has a curve
			if ((corners & i) != 0) numedges++;
		    }
		    ctrlpts = new double[numedges][];
		    types = new int[numedges];
		    int j = 0;
		    for (int i = 0; i < 4; i++) {
			types[j] = SEG_LINETO;
			if ((corners & CornerFlags[i]) == 0) {
			    ctrlpts[j++] = CtrlPtTemplate[i*3+0];
			} else {
			    ctrlpts[j++] = CtrlPtTemplate[i*3+1];
			    types[j] = SEG_CUBICTO;
			    ctrlpts[j++] = CtrlPtTemplate[i*3+2];
			}
		    }
		    types[j] = SEG_CLOSE;
		    ctrlpts[j++] = CtrlPtTemplate[12];
		    types[0] = SEG_MOVETO;
		}
	    }

	    public int getWindingRule() {
		return WIND_NON_ZERO;
	    }

	    public boolean isDone() {
		return index >= ctrlpts.length;
	    }

	    public void next() {
		index++;
	    }

	    public int currentSegment(float[] coords) {
		if (isDone()) {
		    throw new NoSuchElementException("roundrect iterator out of bounds");
		}
		double ctrls[] = ctrlpts[index];
		int nc = 0;
		for (int i = 0; i < ctrls.length; i += 4) {
		    coords[nc++] = (float) (x + ctrls[i + 0] * w + ctrls[i + 1] * aw);
		    coords[nc++] = (float) (y + ctrls[i + 2] * h + ctrls[i + 3] * ah);
		}
		if (affine != null) {
		    affine.transform(coords, 0, coords, 0, nc / 2);
		}
		return types[index];
	    }

	    public int currentSegment(double[] coords) {
                if (isDone()) {
                    throw new NoSuchElementException("roundrect iterator out of bounds");
                }
                double ctrls[] = ctrlpts[index];
                int nc = 0;
                for (int i = 0; i < ctrls.length; i += 4) {
                    coords[nc++] = x + ctrls[i + 0] * w + ctrls[i + 1] * aw;
                    coords[nc++] = y + ctrls[i + 2] * h + ctrls[i + 3] * ah;
                }
                if (affine != null) {
                    affine.transform(coords, 0, coords, 0, nc / 2);
                }
                return types[index];
            }
	}
    }
}

