WPrefs: Moved widgets in Workspace panel so that label is not truncated
authorChristophe CURIS <christophe.curis@free.fr>
Mon, 30 Dec 2013 17:49:13 +0000 (30 18:49 +0100)
committerCarlos R. Mafra <crmafra@gmail.com>
Mon, 30 Dec 2013 18:13:33 +0000 (30 18:13 +0000)
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>
WPrefs.app/Workspace.c

index 7517542..a382738 100644 (file)
@@ -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"));