X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTTokenizer.hh;h=da534fed7253c01e9f6f69e421f2bde1a8e89b37;hb=8d15b9f68470945a45ce96dbc1c892742c85cb9c;hp=62d08241c13d6af833440a7c97d203dc3240e0d7;hpb=6661b044574d16144dfa0db68708f64ee286fb00;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/TTokenizer.hh b/helm/DEVEL/mathml_editor/src/TTokenizer.hh
index 62d08241c..da534fed7 100644
--- a/helm/DEVEL/mathml_editor/src/TTokenizer.hh
+++ b/helm/DEVEL/mathml_editor/src/TTokenizer.hh
@@ -17,9 +17,12 @@ public:
   std::vector<TToken> tokenize(const std::string&);
 
 private:
+  virtual void reset(void);
   virtual void push(const TToken&);
   virtual std::string drop(void);
   virtual void setCursorHint(const std::string&) { };
+  virtual bool hideCursor(void) { return false; };
+  virtual bool showCursor(void) { return false; };
 
   std::list<TToken> tokens;
 };