Add a scrollbar to Android version

Is your feature request related to a problem? Please describe.
Suppose you have a page with a lot of text, or a set with a long list of objects. On desktop, you can use the scrollbar on the right to quickly move around the page. On Android, you can’t.

Describe the solution you’d like
It’d be nice to also have a scrollbar on Android for pages and sets. You could just hold it and drag it in order to jump around the page.

Describe alternatives you’ve considered
Right now the only alternative is to finger scroll multiple times, which is slow and cumbersome.


@boots great idea! I hope you allow me to piggyback on this feature request :slight_smile:.

I think it would be nice to extend this feature with a “jump to top” button and only enable both this and the scroll feature when the content length of the page exceeds x times the screen height.