- shows also version in usage string

[helm.git] / helm / DEVEL / lablgtkmathview / gMathView.mli

diff --git a/helm/DEVEL/lablgtkmathview/gMathView.mli b/helm/DEVEL/lablgtkmathview/gMathView.mli
index 57e622523052f853a6d9a70c583515be2b393c66..4f5f0d4e2e79b5c5ab28458b77b0a5485d8a905e 100644 (file)
--- a/helm/DEVEL/lablgtkmathview/gMathView.mli
+++ b/helm/DEVEL/lablgtkmathview/gMathView.mli
@@ -25,9 +25,10 @@ exception ErrorWritingFile of string
 exception ErrorLoadingDOM
 exception NoSelection
 class math_view_signals :
-  ([> `container | `widget] as 'b) Gtk.obj ->
+  ([> `container | `widget | `base | `math_view] as 'b) Gtk.obj ->
   object ('a)
     inherit GContainer.container_signals
+    val obj: 'b Gtk.obj
     method clicked : callback:(Gdome.element -> unit) -> GtkSignal.id
     method element_changed :
       callback:(Gdome.element option -> unit) -> GtkSignal.id