Date: Thu, 9 Oct 2003 13:20:30 +0200
To: lablgtk at kaba.or.jp
Subject: changing the text of a button ?
Message-ID: <20031009112030.GA18869 at iliana>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
From: Sven Luther <sven.luther at wanadoo.fr>

Hello,

I would like to change the text of a button, but have difficulties doing
this.

It seems to me that the button is a container, which contains a label as
only child, and thus i tried to do this :

  let text = ((List.hd suite#children) :> GMisc.label) in
  text#set_text "Foo"

But naturally, it didn't seem to work, claiming that the children widget
had no method connect or something such.

Any hint on doing so, or maybe a set_text method could be added to the
button object ?

Friendly,

Sven Luther