main_window =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"main_window" ~info:"GtkWindow" xmldata))