[xmonad] Issue 224 in xmonad: Window size/position of windows in Gnome Workspace Switcher Panel are not updated when windows are moved to another workspace

[codesite-noreply at google.com]

Issue 224: Window size/position of windows in Gnome Workspace Switcher  
Panel are not updated when windows are moved to another workspace
http://code.google.com/p/xmonad/issues/detail?id=224

New issue report by koelschtrinker:
What steps will reproduce the problem?
1. Enable Gnome workspace switcher (I'm using 2.22.2 on ubuntu 8.04)
2. Open two windows side by side in workspace one
3. Move one of the windows to workspace 2 by dragging it in the workspace
switcher panel or by using the corresponding keyboard shortcuts.
4. Note the wrong display of the window size and position of the window in
workspace two
5. click on workspace two
6. Notice how the size and position are updated according to the current
layout.

What is the expected output?
1. If the second workspace is empty I expect the workspace switcher to
display the moved window 'maximized'

2. If there is already a application in workspace 2, I expect, that both
the old and the new windows are displayed side by side inside the workspace
switcher panel


What do you see instead?
1. The application in workspace 2 is not displayed 'maximized'. instead the
old position and size is shown.

2. similar to above. the old size and position is just transfered into the
new workspace.

What version of the product are you using? On what operating system?
I have this problem on three different machines all running an up-to-date
Ubuntu 8.04. Xmonad is either 0.7 or 0.8, both show similar problems.

The problem is visible by using a very simple xmonad.hs:

import XMonad
import XMonad.Config.Gnome
main = xmonad $ gnomeConfig


Issue attributes:
	Status: New
	Owner: ----
	Labels: Type-Defect Priority-Medium

-- 
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings