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