add window.title.separator.width

diff --git a/render/theme.c b/render/theme.c
index 1dd20b73838ef5f9d0c7d76152a54746498a78b4..3c5d45bca8bf3c13efe883a888a472b4a29a9f56 100644 (file)
--- 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 31e3d65feb159095fee26428c7c1fa0ea2791423..aa0013c0eca74114d4a8e8c1bdf8183c882ceb43 100644 (file)
--- 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;