Date: Fri, 23 Apr 2004 18:48:09 +0900 (JST)
Message-Id: <20040423.184809.46613587.garrigue at kurims.kyoto-u.ac.jp>
To: Julien.Narboux at inria.fr
Cc: lablgtk at kaba.or.jp
Subject: Re: Cursor modification
From: Jacques GARRIGUE <garrigue at kurims.kyoto-u.ac.jp>
In-Reply-To: <4088E1B9.9070400 at inria.fr>
References: <4088E1B9.9070400 at inria.fr>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

From: Narboux Julien <Julien.Narboux at 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