Date: Fri, 23 Apr 2004 19:43:57 +0200 (CEST) Message-Id: <20040423.194357.91392738.oandrieu at nerim.net> To: nicolas.george at ens.fr Cc: Julien.Narboux at inria.fr, garrigue at kurims.kyoto-u.ac.jp, lablgtk at kaba.or.jp Subject: Re: Cursor modification From: Olivier Andrieu In-Reply-To: <20040423103755.GA1321 at repair> References: <20040423.184809.46613587.garrigue at kurims.kyoto-u.ac.jp> <4088EDC1.2050407@inria.fr> <20040423103755.GA1321@repair> Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Nicolas George [Fri, 23 Apr 2004]: > > I think that a more correct behaviour would be to put the > set_cursor in a callback for the realize signal. yep, something like that: ,---- | let set_cursor window = | let pointeur = Gdk.Cursor.create `CIRCLE in | Gdk.Window.set_cursor window#misc#window pointeur | | let _ = | let window = GWindow.window ~title:"Cursor example" ~width:200 ~height:200 () in | window#connect#destroy ~callback:GMain.quit ; | window#misc#connect#realize (fun () -> set_cursor window) ; | | window#show (); | GMain.main () `---- -- Olivier