Workspace switcher clips desktops to wrong size after changing desktop size
with gnome-display-properties and new login:

- Set display size to something different with gnome-display-properties (for 
example, 800x600)
- Logoff and login
- Set display size to normal (for example, 1400x1050 in my case)
- The switcher does not use the new size, but clips desktop size to 800x600, 
  even after restarting the panel and applet (did not try logout)

Symptoms after the size change:
- Old desktop size is used in workspace switcher
- If a window is moved outside the old workspace size (to coordinates like 
  900x200 in above example), workspace switcher renders totally incorrect page
- Restarting panel does not help, I don't know where this size is received from

To see examples of this bug, see directory http://hile.dyndns.org/panel-bug/.
- before.png shows how the window on 5th desktop is on the edge of switcher  
  window, but in reality it fills half of the desktop.
- after.png shows how the whole switcher is garbled, when the window is moved 
  'out' from it's display area.