I can confirm this bug with openbox as well. Seems to affect all window managers -- definitely a gnome workspace switcher bug I think.
I can confirm this bug with openbox as well. Seems to affect all window managers -- definitely a gnome workspace switcher bug I think.