From: Christophe CURIS <[email protected]> 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 <[email protected]> --- 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 7517542..a382738 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")); -- 1.8.4.3 -- To unsubscribe, send mail to [email protected].
