[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Gtk scrollbar: thumb too short
From: |
Owen Taylor |
Subject: |
Re: Gtk scrollbar: thumb too short |
Date: |
07 Apr 2003 14:57:02 -0400 |
On Mon, 2003-04-07 at 14:38, Stefan Monnier wrote:
> > > IIUC, the scrollbar widget has the following:
> > >
> > > total-size
> > > minimum thumb size
> > > thumb size
> > > thumb position
> > >
> > > Where minimum-thumb-size is (for all intents and purposes here) a
> > > constant.
> > > Let's simplify things and subtract minimum thumb size from the current
> > > thumb size and from the total, we get:
> > >
> > > total-size
> > > thumb size
> > > thumb position
> > >
> > > where
> > >
> > > 0 <= thumb-size <= total-size
> > > thumb-size + thumb-position <= total-size
> >
> > This isn't a "simplification", it is a different algorithm
> > from what GTK+ uses. The scrollbar thumb size in GTK+
> > is:
> >
> > MAX (min_size, total_size * document_page_size/document_size)
>
> [ I assume that total_size = document_size to simplify the discussion ]
> So if min_size is 10, total_size is 100 and page_size is 1, how does
> the user get to see the last page ?
The 0-99 possible values for position in the document are mapped
linearly onto the 0-90 possible values for the position of the
slider thumb.
Regards,
Owen
- Re: Gtk scrollbar: thumb too short, (continued)
- Re: Gtk scrollbar: thumb too short, Kai Großjohann, 2003/04/02
- Re: Gtk scrollbar: thumb too short, Luc Teirlinck, 2003/04/02
- Re: Gtk scrollbar: thumb too short, Kai Großjohann, 2003/04/02
- Re: Gtk scrollbar: thumb too short, Luc Teirlinck, 2003/04/02
- Re: Gtk scrollbar: thumb too short, Kai Großjohann, 2003/04/02
- Re: Gtk scrollbar: thumb too short, Richard Stallman, 2003/04/03
- Re: Gtk scrollbar: thumb too short, Owen Taylor, 2003/04/07
- Re: Gtk scrollbar: thumb too short, Stefan Monnier, 2003/04/07
- Re: Gtk scrollbar: thumb too short, Owen Taylor, 2003/04/07
- Re: Gtk scrollbar: thumb too short, Stefan Monnier, 2003/04/07
- Re: Gtk scrollbar: thumb too short,
Owen Taylor <=
- Re: Gtk scrollbar: thumb too short, Stefan Monnier, 2003/04/07
- Re: Gtk scrollbar: thumb too short, Owen Taylor, 2003/04/07
- Re: Gtk scrollbar: thumb too short, Stefan Monnier, 2003/04/07
- Re: Gtk scrollbar: thumb too short, Richard Stallman, 2003/04/07
- Re: Gtk scrollbar: thumb too short, Owen Taylor, 2003/04/08
- Re: Gtk scrollbar: thumb too short, Miles Bader, 2003/04/08
- Re: Gtk scrollbar: thumb too short, Richard Stallman, 2003/04/08
- Re: Gtk scrollbar: thumb too short, Owen Taylor, 2003/04/09
- Re: Gtk scrollbar: thumb too short, Richard Stallman, 2003/04/10
- Re: Gtk scrollbar: thumb too short, Miles Bader, 2003/04/10