Message-ID: <4088E1B9.9070400 at inria.fr>
Date: Fri, 23 Apr 2004 11:28:25 +0200
From: Narboux Julien <Julien.Narboux at inria.fr>
MIME-Version: 1.0
To: lablgtk at kaba.or.jp
Subject: Cursor modification
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit

Hello,


I want to change the mouse pointer shape using lablgtk2.
I tried this :

(* Cursor modification example *)

let _ =
 let window = GWindow.window ~width:200 ~height:200 () in
 window#connect#destroy ~callback:GMain.quit ;

 let pointeur = Gdk.Cursor.create `CIRCLE in
 let lafenetre =  Gdk.Window.root_parent () in
 let _ = Gdk.Window.set_cursor window#as_window pointeur  in

 window#show ();
 window#set_title "Cursor example";
 GMain.main ()


but it did not work.
Has anyone ever changed the cursor shape ? help would be appreciated.

Thanks