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