Date: Wed, 10 Nov 2004 18:21:42 +0100 (CET)
Message-Id: <20041110.182142.104045322.andrieu at ijm.jussieu.fr>
To: zack at bononia.it
Cc: lablgtk at kaba.or.jp
Subject: Re: GPack.paned: binding status
From: Olivier Andrieu <andrieu at ijm.jussieu.fr>
In-Reply-To: <20041110163203.GA22331 at fistandantilus.takhisis.org>
References: <20041110163203.GA22331 at fistandantilus.takhisis.org>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

 Stefano Zacchiroli [Wed, 10 Nov 2004]:
 > 
 > Hi all,
 >   looking at gPack.mli from the latest lablgtk2 package, it seems that
 > only a subset of the GTK API has been bound in lablgtk2. Notably, there
 > is no "get_position" method and no "connect" method as well for
 > assigning callback for GtkPaned widgets.

Right, the get_position function is not wrapped, I will add this.
As for the GtkPaned-specific signals, they are all related to
keybindings (i.e. keyboard navigation of the widget). Do you really
need them ?

 > Are there any way to circumvent the lack of those features?

Since the position property is present in gtkPack.props, you can do
this :

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

-- 
   Olivier