From: Claude Marche MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15170.61885.105440.410208 at mailhost.lri.fr> Date: Wed, 4 Jul 2001 12:36:45 +0200 To: Nicolas George Cc: lablgtk at kaba.or.jp Subject: Re: widget GtkList In-Reply-To: <20010704115041.A7551 at clipper.ens.fr> References: <15170.58733.335853.322365 at mailhost.lri.fr> <20010704115041.A7551@clipper.ens.fr> >>>>> "Nicolas" == Nicolas George writes: Nicolas> 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 ? Nicolas> I see that in gtkList.ml: Nicolas> let selection_changed : ([>`list],_) t = Nicolas> { name = "selection_changed"; marshaller = marshal_unit } Nicolas> The problem is that it is not implemented in the toplevel widget system, Nicolas> but you can do it in your application. OK, I did not explain my problem right : it seems to me that the class GList.liste is missing a method 'connect'. Is this what you mean by "not implemented in the toplevel widget system" ? How should I proceed without it ? Nicolas> Note that GtkList is deprecated. What is the replacement for it ? Thanks for your help ! -- | Claude Marché | mailto:Claude.Marche@lri.fr | | LRI - Bât. 490 | http://www.lri.fr/~marche/ | | Université de Paris-Sud | phoneto: +33 1 69 15 64 85 | | F-91405 ORSAY Cedex | faxto: +33 1 69 15 65 86 |