X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTPushParser.cc;h=31b6e986728679a9b3485c7f78d557b85e9b5d83;hb=7bb1211ca398645b7089f2ddfb254a4c9a013900;hp=7a8356f7d87ad01960afa9f1845643849fe44932;hpb=e4fed32b1519f436de9ca84c3c9c67e1530808b6;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/TPushParser.cc b/helm/DEVEL/mathml_editor/src/TPushParser.cc
index 7a8356f7d..31b6e9867 100644
--- a/helm/DEVEL/mathml_editor/src/TPushParser.cc
+++ b/helm/DEVEL/mathml_editor/src/TPushParser.cc
@@ -55,9 +55,10 @@ TPushParser::reset()
 {
   nextId = 1;
   if (cursor.parent()) cursor.remove();
+  cursor["val"] = "";
   doc.reset();
   doc.root().append(cursor);
-  if (factory) factory->documentModified(doc);
+  if (factory && !frozen()) factory->documentModified(doc);
 }
 
 TNode