Message-ID: <453DE9F1.8060404 at laposte.net>
Date: Tue, 24 Oct 2006 12:24:49 +0200
From: Matthieu Dubuget <matthieu.dubuget at laposte.net>
Reply-To: matthieu.dubuget at laposte.net
MIME-Version: 1.0
To: lablgtk at math.nagoya-u.ac.jp
Subject: Cursors
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=ISO-8859-1
Content-Length: 829

Hello,

I would like to modify the cursor of my application during a long
computation,
to let know the user that there is a work in progress. The best way
would be to
let the window manager do that (following it's theme). I found no
solution for this.

One way I tried to follow was to use:
val set_cursor : Gdk.window -> Gdk.cursor -> unit

with a fixed Gdk.cursor. (I still do not know how I would revert my
modification
after the long computation...)

Then, I tried to get one Gdk.window from my application window.

Unfortunately, I experienced a runtime crash.

let w = GWindow.window  () in
(* let win = w#misc#window in *)
  print_endline "Ciao";
  exit 0

If I uncomment the commented line in the above program, I receive
"Fatal error: exception Gpointer.Null"

Does anybody know what is wrong there?

Salutations

Matt