From 899b6347b1bbb5ff9d777ab21cad2d5a20ea3260 Mon Sep 17 00:00:00 2001
From: Havoc Pennington <hp@src.gnome.org>
Date: Sat, 15 Jun 2002 17:40:07 +0000
Subject: [PATCH] document rounded corners options

---
 theme-format.txt | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/theme-format.txt b/theme-format.txt
index 6b55f532d..cd6c3569c 100644
--- a/theme-format.txt
+++ b/theme-format.txt
@@ -18,7 +18,14 @@ Themes are in a simple XML-subset format.
      determines whether the title text height is included in the 
      height calculation. if not specified, defaults to true.
      It also has an optional text_size="medium" attribute
-     (same sizes as with Pango markup, xx-small thru medium thru xx-large) -->
+     (same sizes as with Pango markup, xx-small thru medium thru
+     xx-large) 
+
+     Finally it has optional args rounded_top_left=true, 
+     rounded_top_right=true, rounded_bottom_left=true,
+     rounded_bottom_right=true.
+
+     -->
 <frame_geometry name="normal" has_title="true" title_size="medium">
   <distance name="left_width" value="6"/>
   <distance name="right_width" value="6"/>