Added the special deletion. Pressing backspace, the user has a normal deletion

[helm.git] / helm / DEVEL / mathml_editor / src / TPushLexer.cc

diff --git a/helm/DEVEL/mathml_editor/src/TPushLexer.cc b/helm/DEVEL/mathml_editor/src/TPushLexer.cc
index c8d04f1bd4354401a4de38b2b83c18c101d231fb..73ff25c613005785daf9d2284cf7094c9ce8b99b 100644 (file)
--- a/helm/DEVEL/mathml_editor/src/TPushLexer.cc
+++ b/helm/DEVEL/mathml_editor/src/TPushLexer.cc
@@ -138,7 +138,7 @@ TPushLexer::drop(bool alt)
     {
     case ACCEPT:
     case IGNORE_SPACE:
-      restore = parser.drop();
+      restore = parser.drop(alt);
       if (restore.length() > 0 && restore[0] == '\\')
        {
          buffer = std::string(restore, 1, restore.length() - 1);