From ad22a62588c5183d9b1c076bf5eaf2dde4bb2ea3 Mon Sep 17 00:00:00 2001 From: Dana Jansens Date: Fri, 20 Jul 2007 12:14:52 -0400 Subject: [PATCH] describe margins for people --- src/obconf.glade | 25 +++++++++++++++++++++++++ src/strings.c | 1 + 2 files changed, 26 insertions(+) diff --git a/src/obconf.glade b/src/obconf.glade index f424883..78277da 100644 --- a/src/obconf.glade +++ b/src/obconf.glade @@ -2831,6 +2831,31 @@ C - The close button False 6 + + + True + Desktop margins are reserved areas on the edge of your screen. New windows will not be placed within a margin, and maximized windows will not cover it. + False + False + GTK_JUSTIFY_LEFT + True + False + 0 + 0 + 0 + 0 + PANGO_ELLIPSIZE_NONE + -1 + False + 0 + + + 0 + False + False + + + True diff --git a/src/strings.c b/src/strings.c index 2b3bdb4..fd7c7e5 100644 --- a/src/strings.c +++ b/src/strings.c @@ -82,6 +82,7 @@ gchar *s = N_("_Desktop names:"); gchar *s = N_("Desktops"); gchar *s = N_("Desktop Margins"); gchar *s = N_(" "); +gchar *s = N_("Desktop margins are reserved areas on the edge of your screen. New windows will not be placed within a margin, and maximized windows will not cover it."); gchar *s = N_("_Top"); gchar *s = N_("px"); gchar *s = N_("_Left"); -- 2.39.2