I'm using ion3 svn with gnome-session for session management. This works fine except that when I save my session or exit, nothing happens until I switch workspaces. I have 3 WIonWS, 2 of them containing a WFloatWS and the other split into three frames. When I choose session->save, I have to change workspaces before the dialog box stating that my session has been saved comes up. When I choose session->exit, I also have to change workspaces before ion exits. Anyone else seen this?
