GWindow message_dialog

[Angela Zhu <angela.zhu@cs.rice.edu>]

[-- Attachment #1: Type: text/plain, Size: 1144 bytes --]

Dear all,

I want to create a GWindow.message_dialog with the following  
functionality in my GUI:

If I click on a button "reset" or "run",
it prompt out a message " program is running, please wait..."
And it disappear after, say, 3 seconds.
(I want this message here is to let the user know the program is  
responding, but it
will take a while before getting the result. )

I am defining a function like this:

let print_sim_wait str win () =
   let my_message = if (str="run") then "Program running, please  
wait ... "
	else "System state resetting, please wait ... "	
   in	
   let diag = GWindow.message_dialog ~message_type:`INFO
	~buttons:GWindow.Buttons.ok
	~message: my_message
	~destroy_with_parent: true ~parent:win () in
     let res = diag#run () = `OK in
	diag#destroy ()

However, this requires the user to click on "OK" every time to close  
the window.
Can we set a timeline, such that the window will destroy itself after  
a while,
without requiring any action?

Thanks,
Angela
------------------------------------------
Dept. of CS, Rice Unitersity
http://www.cs.rice.edu/~yz2/
------------------------------------------


[-- Attachment #2: Type: text/html, Size: 7859 bytes --]