Hi!
When I was using gnome3 some months ago this bug annoyed me more than a
couple of times, I was able to work-around it by making the annoying
whale window to be a normal desktop window, so when it pop-ups you can
move it to a corner with the mouse and save your data before logging out.
To make the whale be a movable desktop window you just have to set the
debug property.
Here is the patch that I applied to achieve this:
$ cat gnome-session-3.2.1/debian/patches/make-whale-be-debug.patch
--- a/gnome-session/gsm-manager.c
+++ b/gnome-session/gsm-manager.c
@@ -286,7 +286,7 @@
allow_logout = !_log_out_is_locked_down (manager);
}
- gsm_fail_whale_dialog_we_failed (FALSE,
+ gsm_fail_whale_dialog_we_failed (TRUE,
allow_logout,
want_extensions_ui);
}
signature.asc
Description: OpenPGP digital signature
