On 19.09.2009, at 11:23, Hans-Martin Mosner wrote:

> One thing that I'd want to change is the scrollbar looks. I think  
> they would look much lighter if the borders of scrollbar buttons and  
> of the slider would overlap when the elements are adjacent, and if  
> they would merge with the scroll pane's border.
>
> Currently, it looks like this:
> <PluggableListMorphPlus.jpeg>
>
> I'd prefer this:
> <PluggableListMorphPlus2.jpeg>

It's a tiny thing that makes a big improvement IMHO :)

- Bert -