> What the Gnome devs did was just inverting the setting without providing an option for it, which is a pretty awful idea. Gnome devs don't like to give the us

> What the Gnome devs did was just inverting the setting without providing an option for it, which is a pretty awful idea. Gnome devs don't like to give the user options.