Hacker News new | ask | show | jobs
by nuclear_eclipse 5001 days ago
Gnome Tweak Tool still allows you to do this, among many other things. I consider it an essential part of the Gnome 3 desktop.