Possibly controversial #Linux opinion:
I think #Gnome should seriously consider moving the top bar to the side. 2 reasons:
1. Vertical space is more valuable than horizontal in most cases, because there's less of it (especially as the number of ultra widescreens increases) and probably most things you look at while not in full screen mode is taller than wide.
2. By moving the bar to the side the hot corner can be moved to the bottom, significantly decreasing the distance to the dash/dock
@forteller That's why I use #KDE. I can do whatever I want. Just saying...
@cslinuxboy I can too, I've had it on the side for some time now. But defaults matter.
And also I understand that you can change it out of the box on KDE whereas you need an extension on Gnome, but that doesn't bother me. I just love Gnome, I've always come back whenever I've tried something else.