spec_opts_view = new GTree.view (GtkTree.TreeView.cast (Glade.get_widget_msg ~name:"spec_opts_view" ~info:"GtkTreeView" xmldata))