Message-ID: <4088EDC1.2050407 at inria.fr>
Date: Fri, 23 Apr 2004 12:19:45 +0200
From: Julien Narboux <Julien.Narboux at inria.fr>
MIME-Version: 1.0
To: Jacques GARRIGUE <garrigue at kurims.kyoto-u.ac.jp>
Cc: lablgtk at kaba.or.jp
Subject: Re: Cursor modification
References: <4088E1B9.9070400 at inria.fr> <20040423.184809.46613587.garrigue at kurims.kyoto-u.ac.jp>
In-Reply-To: <20040423.184809.46613587.garrigue at kurims.kyoto-u.ac.jp>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit

Jacques GARRIGUE wrote:

>From: Narboux Julien <Julien.Narboux@inria.fr>
>
>  
>
>>I want to change the mouse pointer shape using lablgtk2.
>>I tried this :
>>    
>>
>[..]
>This code contains a number of type errors.
>
>Here is the trivial code, and for me it works:
>
>  > lablgtk2 -thread
>  let window = GWindow.window ~show:true ();;
>  let pointeur = Gdk.Cursor.create `CIRCLE;;
>  Gdk.Window.set_cursor window#misc#window pointeur;;
>
>Jacques
>
>  
>
Thank you very much and sorry for the type error, I gave you the wrong 
version of my test file.
Perhaps you could add this to the examples :

(* Cursor modification example *)
  let window = GWindow.window ~width:400 ~height:200 () in
  window#connect#destroy ~callback:GMain.quit ;
  window#set_title "Cursor example";
  window#show ();

  let yourcursor = Gdk.Cursor.create `CIRCLE in
  let _ = Gdk.Window.set_cursor window#misc#window yourcursor  in
 
  GMain.main ()


Julien