To: stalkern2 at tin.it
Cc: lablgtk at kaba.or.jp
Subject: Re: Get value of scale?
In-Reply-To: <200307021140.10045.stalkern2 at tin.it>
References: <200307021140.10045.stalkern2 at tin.it>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <20030702184007Z.garrigue at kurims.kyoto-u.ac.jp>
Date: Wed, 02 Jul 2003 18:40:07 +0900
From: Jacques Garrigue <garrigue at kurims.kyoto-u.ac.jp>
Lines: 16

> 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
>     [..]
>     method adjustment : GData.adjustment
>     method set_adjustment : GData.adjustment -> unit
>     method set_update_policy : Tags.update_type -> unit
>   end

Just have a look at GData.adjustment.

     Jacques