WPrefs: Moved widgets in Workspace panel so that label is not truncated
commitd30b942b9eec56b12cef6be01de4ecfc70796e4e
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)
tree4994215cf244643962d93141768aeeecead19f15
parent5770e53c50024550b2e23d3d0059c33c59c24859
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>
WPrefs.app/Workspace.c