Fixed size grabber for scrollbars

[pipkofanfare]

Right now the grabber for scroll bars is always proportional size to the amount of content being scrolled. However, with some (especially pixel) art styles, this does not look good/right. An option for fixed size scrollbars would avoid the need for hacky workarounds to create the effect.

[Calinou]

However, with some (especially pixel) art styles, this does not look good/right.

Can't this be resolved using nine-patch texturing?

In terms of usability, I dislike when a scrollbar doesn't indicate how much content there is to scroll, so it may be preferable to have something slightly worse-looking if it's more usable. I'm pretty sure we can find a solution to have good-looking variable-length scrollbars anyway, so we may not need to compromise too much here.