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
3. To illustrate the issue, the workspace switcher now appears as
[ 1 ][ 2 ][ 3 ] instead of
. It would be nice if the minimum width was configurable or otherwise removed.