]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TTokenizer.hh
* added show/hide cursro methods
[helm.git] / helm / DEVEL / mathml_editor / src / TTokenizer.hh
index 62d08241c13d6af833440a7c97d203dc3240e0d7..da534fed7253c01e9f6f69e421f2bde1a8e89b37 100644 (file)
@@ -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;
 };