Date: Wed, 10 Nov 2004 19:05:26 +0100
From: Stefano Zacchiroli <zack at bononia.it>
To: lablgtk at kaba.or.jp
Subject: Re: GPack.paned: binding status
Message-ID: <20041110180525.GA23190 at fistandantilus.takhisis.org>
References: <20041110163203.GA22331 at fistandantilus.takhisis.org> <20041110.182142.104045322.andrieu at ijm.jussieu.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20041110.182142.104045322.andrieu at ijm.jussieu.fr>

On Wed, Nov 10, 2004 at 06:21:42PM +0100, Olivier Andrieu wrote:
> Right, the get_position function is not wrapped, I will add this.

Thanks.

> As for the GtkPaned-specific signals, they are all related to
> keybindings (i.e. keyboard navigation of the widget). Do you really
> need them ?

I was interested in catching the move-handle signal, but the reason was
I was looking for a way to circumvent my inability of getting the
current handle position.

Still I think that catching that particular signal could be useful, for
example for inhibiting handle moving in particular conditions.

> let paned_get_position (p : #GPack.paned) =
>   Gobject.get 
>     GtkPack.Paned.P.position 
>     (GtkPack.Paned.cast p#as_object)

Thanks a lot.

Cheers.

-- 
Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. -!-