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