Re: An error in making button labels I don't understand

Maxence Guesdon <[email protected]> Wed, 18 Feb 2015 16:17:04 +0100

Newsgroups	gmane.comp.lang.ocaml.lib.gtk
Organization	INRIA
Message-ID	<20150218161704.45be4fd8@alcazar2>

Hello,

On Wed, 18 Feb 2015 16:00:42 +0100
Nicolas FRANCOIS <[email protected]> wrote:

> 	  ignore (une_boite#add (nom_carte.(i).(j)));

You have to coerce your label to a widget using something like
  	  ignore (une_boite#add (nom_carte.(i).(j)#coerce))
(not tested)

Hope this helps,

Maxence