From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 29 Jan 2003 11:13:00 +0000 (+0000)
Subject: maction toggle restored
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2be82172664dfd066fd04842c8bfb0635814f76b;p=helm.git

maction toggle restored
---

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index a94472bf2..099bb9d80 100644
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -1095,13 +1095,7 @@ let
      in 
       show_in_show_window_uri (UriManager.uri_of_string uri)
     else
-       prerr_endline
-        "'get_action' and 'action_toggle' not yet implemented in lablgtkmathview 0.3.99"
-(* TODO commented out because not yet implemented in lablgtkmathview 0.3.99 *)
-(*
-     if mmlwidget#get_action <> None then
-      mmlwidget#action_toggle
-*)
+     ignore (mmlwidget#action_toggle n)
    in
     let _ =
      mmlwidget#connect#click (show_in_show_window_callback mmlwidget)