From: Christophe CURIS <christophe.curis@free.fr>
Date: Mon, 30 Dec 2013 17:49:13 +0000 (+0100)
Subject: WPrefs: Moved widgets in Workspace panel so that label is not truncated
X-Git-Tag: wmaker-0.95.6~296
X-Git-Url: https://repo.or.cz/w/wmaker-crm.git/commitdiff_plain/d30b942b9eec56b12cef6be01de4ecfc70796e4e

WPrefs: Moved widgets in Workspace panel so that label is not truncated

A label was truncated because the widget next to it was too close for
historical reasons; now that the frame is wide enough the Pop-up Button
widget at its left is pushed further apart so the label for the position
of the workspace name can be fully visible.

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
---

diff --git a/WPrefs.app/Workspace.c b/WPrefs.app/Workspace.c
index 75175427..a3827385 100644
--- a/WPrefs.app/Workspace.c
+++ b/WPrefs.app/Workspace.c
@@ -166,7 +166,7 @@ static void createPanel(Panel * p)
 	}
 
 	/**/ panel->posL = WMCreateLabel(panel->navF);
-	WMResizeWidget(panel->posL, 200, 30);
+	WMResizeWidget(panel->posL, 275, 30);
 	WMMoveWidget(panel->posL, 75, 165);
 	// WMSetLabelTextAlignment(panel->posL, WARight);
 	WMSetLabelText(panel->posL, _("Position of workspace name display"));
@@ -184,7 +184,7 @@ static void createPanel(Panel * p)
 
 	panel->posP = WMCreatePopUpButton(panel->navF);
 	WMResizeWidget(panel->posP, 125, 20);
-	WMMoveWidget(panel->posP, 290, 170);
+	WMMoveWidget(panel->posP, 350, 170);
 	WMAddPopUpButtonItem(panel->posP, _("Disable"));
 	WMAddPopUpButtonItem(panel->posP, _("Center"));
 	WMAddPopUpButtonItem(panel->posP, _("Top"));