From 136e20a1e799908c7daceba5836ec29821185838 Mon Sep 17 00:00:00 2001 From: Dana Jansens Date: Sat, 2 Jun 2007 20:53:19 +0000 Subject: [PATCH] add window.title.separator.width --- render/theme.c | 4 ++++ render/theme.h | 2 ++ 2 files changed, 6 insertions(+) diff --git a/render/theme.c b/render/theme.c index 1dd20b73..3c5d45bc 100644 --- a/render/theme.c +++ b/render/theme.c @@ -182,6 +182,10 @@ RrTheme* RrThemeNew(const RrInstance *inst, gchar *name, if (!read_int(db, "border.width", &theme->fbwidth) || theme->fbwidth < 0 || theme->fbwidth > 100) theme->fbwidth = 1; + /* title separator width inherits from frame border width */ + if (!read_int(db, "window.title.separator.width", &theme->tswidth) || + theme->tswidth < 0 || theme->tswidth > 100) + theme->tswidth = theme->fbwidth; /* menu border width inherits from the frame border width */ if (!read_int(db, "menu.border.width", &theme->mbwidth) || theme->mbwidth < 0 || theme->mbwidth > 100) diff --git a/render/theme.h b/render/theme.h index 31e3d65f..aa0013c0 100644 --- a/render/theme.h +++ b/render/theme.h @@ -41,6 +41,8 @@ struct _RrTheme { gint paddingy; gint handle_height; gint fbwidth; /*!< frame border width */ + gint tswidth; /*!< title separator width - between the titlebar and the + client */ gint mbwidth; /*!< menu border width */ gint cbwidthx; gint cbwidthy; -- 2.34.1