(* $Id$ *)

(* Start the main thread in a threaded toplevel *)

let thread = GtkThread.start ()