Content-Type: text/plain;
  charset="iso-8859-1"
From: Stalkern 2 <stalkern2 at tin.it>
Reply-To: stalkern2 at tin.it
To: Jacques Garrigue <garrigue at kurims.kyoto-u.ac.jp>
Subject: Re: How do I disconnect all callbacks from a button?
Date: Mon, 3 Feb 2003 11:08:10 +0100
References: <200301311851.38574.stalkern2 at tin.it> <200301311901.18801.stalkern2 at tin.it> <20030203104047F.garrigue at kurims.kyoto-u.ac.jp>
In-Reply-To: <20030203104047F.garrigue at kurims.kyoto-u.ac.jp>
Cc: lablgtk at kaba.or.jp
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Message-Id: <200302031108.10286.stalkern2 at tin.it>

Il  Monday 03 February 2003 02:40, Jacques Garrigue ha scritto:
> let ids = ref []
>   let aConnectionID = <signalConnection>
>   ids := aConnectionID :: !ids

OK!
I was puzzled by reading in the GUtil page in the last available CDK 
documentation

class ['a] signal :
  unit ->
  object
    val mutable callbacks : (GtkSignal.id * ('a -> unit)) list
    method callbacks : (GtkSignal.id * ('a -> unit)) list
    method call : 'a -> unit
    method connect : after:bool -> callback:('a -> unit) -> GtkSignal.id
    method disconnect : GtkSignal.id -> bool
  end

So signal#callbacks should give a list of connection IDs, isn't it? 
But I didn't know how to get from the button to the signals (is this possible? 
I can't imagine how are they connected in fact).

Thank you very much
Ernesto