Christophe CURIS d30b942b9e 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>

2013-12-30 18:13:33 +00:00

6.3 KiB

Raw Blame History

View Raw