let thread = GtkThread.start ()