Hacker News new | ask | show | jobs
by hakube 1703 days ago
It's using GNOME extensions. GNOME has it's own window manager called Mutter. You should Google stuff first before leaving comments like this