From 2be82172664dfd066fd04842c8bfb0635814f76b Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 29 Jan 2003 11:13:00 +0000
Subject: [PATCH] maction toggle restored

---
 helm/gTopLevel/gTopLevel.ml | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

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)
-- 
2.39.2