G

gnome-shell-extension-xrdesktop

An extension for toggling xrdesktop mode in GNOME Shell.