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

[helm.git] / helm / DEVEL / mathml_editor / src / TTokenizer.hh

diff --git a/helm/DEVEL/mathml_editor/src/TTokenizer.hh b/helm/DEVEL/mathml_editor/src/TTokenizer.hh
index da534fed7253c01e9f6f69e421f2bde1a8e89b37..00960207dc34d9f82b6bf89b47afb11b709d5241 100644 (file)
--- a/helm/DEVEL/mathml_editor/src/TTokenizer.hh
+++ b/helm/DEVEL/mathml_editor/src/TTokenizer.hh
@@ -19,7 +19,7 @@ public:
 private:
   virtual void reset(void);
   virtual void push(const TToken&);
-  virtual std::string drop(void);
+  virtual std::string drop(bool = false);
   virtual void setCursorHint(const std::string&) { };
   virtual bool hideCursor(void) { return false; };
   virtual bool showCursor(void) { return false; };