snapshot

[helm.git] / helm / mathita / mathitaGtkMisc.mli

diff --git a/helm/mathita/mathitaGtkMisc.mli b/helm/mathita/mathitaGtkMisc.mli
index 987ad18574ccc83704f3841efa143166f05b8fa0..03847ac870b4d506c0ad7a6952787f49794ca0c5 100644 (file)
--- a/helm/mathita/mathitaGtkMisc.mli
+++ b/helm/mathita/mathitaGtkMisc.mli
@@ -35,3 +35,14 @@ val toggle_win:
 
 val add_key_binding: Gdk.keysym -> (unit -> 'a) -> GBin.event_box -> unit
 
+  (** single string column list *)
+class stringListModel:
+  GTree.view ->
+  object
+    method list_store: GTree.list_store (** list_store forwarding *)
+
+    method easy_append:     string -> unit        (** append + set *)
+    method easy_insert:     int -> string -> unit (** insert + set *)
+    method easy_selection:  unit -> string list
+  end
+