a) remove the top_grip_height business from the theme

[chaz/openbox] / render / theme.h

diff --git a/render/theme.h b/render/theme.h
index 4d90dac8a26a6cb8b2097095d4a1b0ed9c7b868b..acceaf5fd01d0580ceb2ed3956e4a921f0b7a5ec 100644 (file)
--- a/render/theme.h
+++ b/render/theme.h
@@ -53,7 +53,6 @@ struct _RrTheme {
     gint menu_title_height;
     gint button_size;
     gint grip_width;
-    gint top_grip_height;
 
     /* style settings - colors */
     RrColor *menu_b_color;