scratchpad workspace ignored in WS toggle and WS display of xmobar