bug#1036: [PATCH] Add scroll-bar-adjust-thumb-portion.

[Glenn Morris]

"Jan D." wrote:

> Before installing this, can someone confirm that this is a tiny change?

Looks like one to me (most of it just moves existing comments around).

Maybe a good idea to complete an assignment if Adam expects to make more
contributions after this (other than to Gnus).

>> +              doc: /* Non-nil means adjust the thumb in the
>> +scroll bar to be less likely to resize which looks better.

First line of doc does not look like a complete sentence.
(maybe lose the subjective part).