output_wscroll =
      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
        (Glade.get_widget_msg ~name:"output_wscroll" ~info:"GtkScrolledWindow" xmldata))