Re: [gtk-list] Re: Patch for GtkPaned

[Juan Pablo Romero <jpablo netservice com mx>]

Well, that is exactly what the patch does. It changes the default.

    Juan Pablo

Havoc Pennington wrote:

> 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
>
> --
> To unsubscribe: mail -s unsubscribe gtk-list-request@redhat.com < /dev/null