Re: [gtk-list] Paned Widget



On Tue, Jul 28, 1998 at 05:12:29PM +0000, Georg C. F. Greve wrote:
 
> So what the widget needs is something to define a packing order

I would prefer a parameter that sets the proportion that each pane takes up
in the container.  The proportion would stay constant as the container is
resized.

Dave Cook



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]