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