From: Stalkern 2 Reply-To: stalkern2 at tin.it To: lablgtk at kaba.or.jp Subject: Get value of scale? Date: Wed, 2 Jul 2003 11:40:09 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200307021140.10045.stalkern2 at tin.it> Hello, I'm looking for something to get a value in a range easily, so I've found the scale class. But how do I get the current value of scale? class range : 'a obj -> object inherit widget_full constraint 'a = [>`range|`widget] val obj : 'a obj method adjustment : GData.adjustment method set_adjustment : GData.adjustment -> unit method set_update_policy : Tags.update_type -> unit end class scale : Gtk.scale obj -> object inherit range val obj : Gtk.scale obj method set_digits : int -> unit method set_draw_value : bool -> unit method set_value_pos : Tags.position -> unit end Thanks Ernesto