It's using GNOME extensions. GNOME has it's own window manager called Mutter. You should Google stuff first before leaving comments like this