Re: [patch] Scrollbar thickness from dillorc

podarcis wrote:
> Scrollbars currently have the hardcoded thickness 15. This can be too
> small to operate dillo on large screens or with fingers on a touch
> screen.
> 
> The supplied patch does the following: 
> 
> - Adds the prefence "scrollbar_tickness" to dillorc.
> 
> - Reads the value into the prefences
>   (Note: added a type UINT32 to prefsparse.cc)
> 
> - Sets this value to the FltkViewport with the new
>   method FltkViewport::setScrollbarThickness().
> 
> Note: I deliberately did no check for value 0, which can therefore be
> used to make the scrollbars invisible. Scrolling can then still be
> achieved with the cursor keys. This could be called a feature.

Just curious whether you've experimented with incorporating
Fl::scrollbar_size() into this.


Aside: A few years ago, there was a little bit of discussion now and
then about improving the UI for touch, but unfortunately it would all
die down without us getting much further than "Hmm, that's an
interesting idea..."