Gnome Shell Disper Displays Extension
I had some technical problems with my Cinnamon Linux partition so I started working again in Gnome Shell. I missed the display switching applet I had in Cinnamon so I coded a simple extension for Gnome which uses disper to manage displays. Now I can turn my TV off and work on the PC monitor or ‘clone’ the displays and have identical displays on different devices. Gnome Shell is not looking too shabby. Get more info on the extension or download it.