X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTPushLexer.hh;h=2aafd6ec9c3911109ed63fc1925356353564c7e6;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=63ec45450e6817cea271b16b566b71713031b714;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/TPushLexer.hh b/helm/DEVEL/mathml_editor/src/TPushLexer.hh
index 63ec45450..2aafd6ec9 100644
--- a/helm/DEVEL/mathml_editor/src/TPushLexer.hh
+++ b/helm/DEVEL/mathml_editor/src/TPushLexer.hh
@@ -38,11 +38,12 @@ public:
 
   virtual void push(char);
   virtual void drop(bool);
+  virtual bool complete(void) { };
   virtual void reset(void);
   virtual void flush(void);
   virtual bool error(void) const;
 
-private:
+protected:
   enum State
     {
       ACCEPT,
@@ -53,9 +54,11 @@ private:
     };
 
   void transaction(char, State);
+  void displayCursor(void);
 
   State state;
   std::string buffer;
+
 };
 
 #endif // __TPushLexer_hh__