From d30b942b9eec56b12cef6be01de4ecfc70796e4e Mon Sep 17 00:00:00 2001 From: Christophe CURIS Date: Mon, 30 Dec 2013 18:49:13 +0100 Subject: [PATCH] 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 --- WPrefs.app/Workspace.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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")); -- 2.11.4.GIT