It was an option. They took it away.

I agree, but there has been a trend that options only serve to confuse users, which is the cause of much of the current Gnome, IMO, idiocy concerning UI customization.