3 ms·Make it an option.by fallentimes 17y agoMake it an option.thwarted 17y agoI 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.tdm911 17y agoIt was an option. They took it away.