]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/gTopLevel.ml
maction toggle restored
[helm.git] / helm / gTopLevel / gTopLevel.ml
index a94472bf2f87f45a7b61ee76197d6cfcc6e4c598..099bb9d804d509a81dd2c0e9ad43d1fc35bbe983 100644 (file)
@@ -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)