From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 28 Apr 2003 17:32:54 +0000 (+0000)
Subject: freeze() & thaw() method put around "freeze() ; push('$')" to avoid
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=28f262128cd08dfaad435f73d3f4eee5976993d6

freeze() & thaw() method put around "freeze() ; push('$')" to avoid
rendering of a TML document which is not in math mode.
---

diff --git a/helm/gTopLevel/texTermEditor.ml b/helm/gTopLevel/texTermEditor.ml
index 56ed54f41..789b77d81 100644
--- a/helm/gTopLevel/texTermEditor.ml
+++ b/helm/gTopLevel/texTermEditor.ml
@@ -118,8 +118,10 @@ module Make(C:Disambiguate.Callbacks) =
          else if key = GdkKeysyms._u then
           begin
            mmlwidget#freeze ;
+           ignore (Mathml_editor.freeze tex_editor) ;
            Mathml_editor.reset tex_editor ;
            Mathml_editor.push tex_editor '$' ;
+           ignore (Mathml_editor.thaw tex_editor) ;
            mmlwidget#thaw
           end
          else if key = GdkKeysyms._BackSpace then
@@ -156,8 +158,10 @@ module Make(C:Disambiguate.Callbacks) =
       method coerce = mmlwidget#coerce
       method reset =
        mmlwidget#freeze ;
+       ignore (Mathml_editor.freeze tex_editor) ;
        Mathml_editor.reset tex_editor ;
        Mathml_editor.push tex_editor '$' ;
+       ignore (Mathml_editor.thaw tex_editor) ;
        mmlwidget#thaw
 
       method set_term txt =