dmo60/CoverflowAltTab — pull request #29 by p91paul (2014-10-29 01:11:27+00:00)
Title: Provide compatibility for gnome-shell 3.14

Fixes #28.
This is quick and dirty, and duplicates code. If this extension gets adopted with someone with time to properly maintain it, platform.js surely needs refactoring