see also https://bugzilla.gnome.org/show_bug.cgi?id=613111 which list quite some issues around the desktop behaviour
see also https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 613111 which list quite some issues around the desktop behaviour