From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 28 Apr 2003 17:13:39 +0000 (+0000)
Subject: The reset() method ignored the fact that the widget can be frozen. Fixed.
X-Git-Tag: before_refactoring~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e02ad98d0f2aa460a049ab102619ea5b8231fcdc;p=helm.git

The reset() method ignored the fact that the widget can be frozen. Fixed.
---

diff --git a/helm/DEVEL/mathml_editor/src/TPushParser.cc b/helm/DEVEL/mathml_editor/src/TPushParser.cc
index 7a8356f7d..1a4770785 100644
--- a/helm/DEVEL/mathml_editor/src/TPushParser.cc
+++ b/helm/DEVEL/mathml_editor/src/TPushParser.cc
@@ -57,7 +57,7 @@ TPushParser::reset()
   if (cursor.parent()) cursor.remove();
   doc.reset();
   doc.root().append(cursor);
-  if (factory) factory->documentModified(doc);
+  if (factory && !frozen()) factory->documentModified(doc);
 }
 
 TNode