Multiscreen support for gnome-shell