Re: Upcoming UI changes

I don't know why, but I was thinking at the page menu button
(hamburger button). Sorry!

That's true, the gear button is only accessible on hover so I assume
there's no way that could work on touchscreens at the moment. I hope
you don't mind if I went ahead and opened a bug here [1]. I'm not sure
if displaying all buttons simultaneously is the best idea but any
suggestion is welcome.

[1] https://bugzilla.gnome.org/show_bug.cgi?id=772268

Thanks,
Iulian