Workspace switcher area isn't redrawn after another panel plugin changed its size
Submitted by Raphael Groner
Assigned to Nick Schermer
Created attachment 4852 cpu frequency - pager (5 workspaces) - windows menu button
Place the cpu frequency on the left before the workspace switcher. If the frequency (1 GHz) changes (to 1,5 GHz), there's the left workspace preview area with temporarily empty (gray box or another old invalid graphical content).
See the attachment for an example.
I guess the pager doesn't recognize the dynamic move because another plugin (cpu frequency) requests more space and the panel shifts all the plugins to the right.