Re: [gtk-list] Patch for GtkPaned

[Havoc Pennington <hp redhat com>]

On Tue, 10 Aug 1999, Juan Pablo Romero wrote:
> 
> The reason for these changes is that I find very uncomfortable to drag
> the little button at 1024x768. I also think it is more consistent to
> draw a handle as a handle, no as a button.
> 

If the little button is bad, then the default should be changed or it
should be user-configurable; this should not be programmer-configurable.

We don't need more instances of "gtk_ctree_set_expander_style() syndrome."
:-)

Havoc