* 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
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 *)
ignore (main#quitMenuItem#connect#activate callback);
self#addKeyBinding GdkKeysyms._q callback
+ method uriChoices = uriChoices
+
end