X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmathita%2FmathitaGui.ml;h=957c5edcc12e4eaaa7de4b73852d224310693803;hb=07287062d5b84a0f2b66380d0d380bbf68217a27;hp=cda4a474f1082dd9bafe582a158badc9666591d7;hpb=9c70cabfe7bcf809e746f2499902aa7f2f45ca6a;p=helm.git

diff --git a/helm/mathita/mathitaGui.ml b/helm/mathita/mathitaGui.ml
index cda4a474f..957c5edcc 100644
--- a/helm/mathita/mathitaGui.ml
+++ b/helm/mathita/mathitaGui.ml
@@ -23,6 +23,24 @@
  * http://helm.cs.unibo.it/
  *)
 
+(*
+class stringListModel' uriChoiceDialog =
+  let tree_view = uriChoiceDialog#uriChoiceTreeView in
+  let column_list = new GTree.column_list in
+  let text_column = column_list#add Gobject.Data.string in
+  let list_store = GTree.list_store column_list in
+  let renderer = (GTree.cell_renderer_text [], ["text", text_column]) in
+  let view_column = GTree.view_column ~renderer () in
+  let _ = tree_view#set_model (Some (list_store :> GTree.model)) in
+  let _ = tree_view#append_column view_column in
+  object
+    method append s =
+      let tree_iter = list_store#append () in
+      list_store#set ~row:tree_iter ~column:text_column s
+    method clear () = list_store#clear ()
+  end
+*)
+
 open MathitaGeneratedGui
 open MathitaGtkMisc
 
@@ -39,6 +57,7 @@ class gui file =
   let keyBindingBoxes = (* event boxes which should receive global key events *)
     [ toolbar#toolBarEventBox; proof#proofWinEventBox ]
   in
+  let uriChoices = new stringListModel uriChoice#uriChoiceTreeView in
   object (self)
     initializer
         (* glade's check widgets *)
@@ -85,5 +104,7 @@ class gui file =
       ignore (main#quitMenuItem#connect#activate callback);
       self#addKeyBinding GdkKeysyms._q callback
 
+    method uriChoices = uriChoices
+
   end