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