bug#13503: 24.3.50; option `scroll-bar-adjust-thumb-portion'

[Eli Zaretskii]

> From: "Drew Adams" <drew.adams@oracle.com>
> Cc: <13503@debbugs.gnu.org>
> Date: Sun, 20 Jan 2013 09:10:11 -0800
> 
> > It will probably get fixed before the release.  Or should be.
> 
> Thx.  If it will, then you can close this bug if you think that's appropriate.
> It seems that some, at least, feel that bug reports about NEWS problems are
> uncalled-for before the actual release.

I added a comment that this is only for X, and am closing the bug.

(Note that on Windows, the over-scrolling is always possible and AFAIK
cannot be disabled.)