Re: Gtk scrollbar: thumb too short

[Luc Teirlinck <teirllm@dms.auburn.edu>]

Owen Taylor wrote:

   This is most obvious in the case where you run into the minimum
   scrollbar size. In the theme I'm using, the minimum scrollbar
   size is 30 pixels.

Do you really mean scrollbar size (window height essentially)  or
thumb size?

   So, all scroll positions that involve the first line being within
   3% (30/1000) of the end of the buffer map into the exact same thumb
   appearance. Overscrolling a buffer of more than a few thousand
   lines with the mouse would not be possible.

With the native scrollbar, I was able to scroll the last line of the
NEWS buffer (11298 lines) to the top.  I first positioned the last
line of the buffer at the bottom of the screen (thumb size ten pixels)
and then overscrolled to put that line at the top (thumb size four
pixels).  Of course, the native scrollbar has no 30 pixel size limit.

Sincerely,

Luc.