Workspace switcher area isn't redrawn after another panel plugin changed its size

Submitted by Raphael Groner

Assigned to Nick Schermer

Link to original bug (#9758)

Description

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.

Attachment 4852, "cpu frequency - pager (5 workspaces) - windows menu button":

Version: 4.10.0