Workspace Switcher takes up extra width
I recently upgraded to 4.14 and notice the workspace switcher seems to have a minimum width now, taking up more space on the taskbar than needed. In my setup, I have 3 workspaces named 1
, 2
, and 3
. To illustrate the issue, the workspace switcher now appears as [ 1 ][ 2 ][ 3 ]
instead of [1][2][3]
. It would be nice if the minimum width was configurable or otherwise removed.