Re: Gtk scrollbar: thumb too short

[Luc Teirlinck]

Miles Bader wrote:

   (2) sounds like very annoying behavior (and I'll bet it would result in
   a lot of user confusion -- it would probably seem to many people like
   the overscrolling was simply flaky).

I am not necessarily recommending anything.  I gave a rough
implementation, so people could try it out.  Note that it might only
be a customizable option, with the old (native scrollbar) behavior
remaining the default.  Note also that (1) is just a pie in the sky
unless somebody volunteers to implement it (without creating other
trouble).

Sincerely,

Luc.