Date: Wed, 4 Jul 2001 11:50:41 +0200
From: Nicolas George <nicolas.george at ens.fr>
To: Claude Marche <Claude.Marche at lri.fr>
Cc: lablgtk at kaba.or.jp
Subject: Re: widget GtkList
Message-ID: <20010704115041.A7551 at clipper.ens.fr>
References: <15170.58733.335853.322365 at mailhost.lri.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <15170.58733.335853.322365 at mailhost.lri.fr>; from Claude.Marche at lri.fr on Wed, Jul 04, 2001 at 11:44:13AM +0200

Le sextidi 16 messidor, an CCIX, Claude Marche a écrit :
> I started using lablgtk recently, and I have a problem with the
> GtkList widget: lablgtk does not seem to implement the signal
> selection_changed. Do I miss sonething ?

I see that in gtkList.ml:

    let selection_changed : ([>`list],_) t =
      { name = "selection_changed"; marshaller = marshal_unit }

The problem is that it is not implemented in the toplevel widget system,
but you can do it in your application.

Note that GtkList is deprecated.