Originally Posted by ciotog
You should be quiet about settings like this. If the Gnome developers find out that anyone wants to change it, they're liable to remove that option for future releases...
You've made me smile today.
Its amazing how a lot of functionality in GNOME has been removed in the name of simplicity and the HIG. GNOME is still good, but now lacks a lot of useful features or easy ways to configure and personalise the desktop.