incorrect repainting of background color when switching workspaces.
|Reported by:||Owned by:||axeld|
|Has a Patch:||no||Platform:||All|
This occurs when workspaces have different background colors. changing from one to the other will retain the painted areas of the first.
steps to reproduce: change the color of the current workspace. stimulate repainting by doing anything that will create a new graphical element --- such as opening a new GUI app, accessing the Deskbar's menu, eg. switch to a workspace with a different color.
unable to test with background images.
noticed in hrev16943 unknown if it occurs in earlier revisions.