X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Flablgtkmathview%2FgMathViewAux.mli;h=e63c41173a41586d8e71dbb7a210596dd33741f9;hb=56b68e877e6eb517c3efba7d9485947e940f7785;hp=abbe54493d7bc901813b2d919ecb06eb8a51419f;hpb=b689a2381eedeadd6a23f74348b4322c5f0085d6;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gMathViewAux.mli b/helm/DEVEL/lablgtkmathview/gMathViewAux.mli
index abbe54493..e63c41173 100644
--- 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 :