* binding update to recognize the new event scheme generated by

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

diff --git a/helm/DEVEL/lablgtkmathview/gMathViewAux.mli b/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
index abbe54493d7bc901813b2d919ecb06eb8a51419f..e63c41173a41586d8e71dbb7a210596dd33741f9 100644 (file)
--- a/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
+++ b/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
@@ -35,6 +35,7 @@ class single_selection_math_view :
     method connect : single_selection_math_view_signals
     method get_selection : Gdome.element option
     method set_selection : Gdome.element option -> unit
+    method action_toggle : Gdome.element -> bool
   end
 
 val single_selection_math_view :