--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/themes/default/WindowFrame.cfg	Fri Mar 20 06:41:25 2009 -0400
@@ -0,0 +1,50 @@
+widget WindowFrame {
+	layout = VBox;
+	shape = Rectangle;
+	style.normal = {
+		border = 1 black;
+	}
+	
+	[hexpand hfill] new HBox handle {
+		size = 0 23;
+		shape = Rectangle;
+		layout = {
+			padding = 5 0;
+			spacing = 4;
+		}
+		
+		style.normal = {
+			border = 1 black;
+			background = solid(rgb(.6, .6, .6));
+			image = grid("themes/default/img/winframe_bg.png", hline(1, 9), vline(0, 23));
+		}
+		style.active = {
+			background = solid(white);
+		}
+		
+		[hexpand vexpand] new Label caption {
+		}
+		
+		[vexpand] new WindowFrameButton minimizeButton {
+			addIcon = "themes/default/img/winframe_minimize.png";
+		}
+		[vexpand] new WindowFrameButton maximizeButton {
+			addIcon = "themes/default/img/winframe_maximize.png";
+			addIcon = "themes/default/img/winframe_restore.png";
+		}
+		[vexpand] new WindowFrameButton closeButton {
+			addIcon = "themes/default/img/winframe_close.png";
+		}
+	}
+	
+	[hexpand hfill vexpand vfill] new VBox clientArea {
+	}
+	
+	children = sub(clientArea);
+	handle = sub(handle);
+	
+	minimizeClicked = prop(handle.minimizeButton.clicked);
+	maximizeClicked = prop(handle.maximizeButton.clicked);
+	closeClicked = prop(handle.closeButton.clicked);
+	text = prop(handle.caption.text);
+}