]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/APushParser.hh
* added show/hide cursro methods
[helm.git] / helm / DEVEL / mathml_editor / src / APushParser.hh
index 3a3aa8842c350092c0aecd84577537b4f5724c93..5344b7272fdca474f9a79db9a411fa2464c92608 100644 (file)
@@ -33,10 +33,12 @@ public:
   APushParser(class ALogger& l, class AMathMLFactory& f) : logger(l), factory(&f), freeze_level(0) { };
   virtual ~APushParser() { };
 
-  virtual void reset(void);
+  virtual void reset(void) = 0;
   virtual void push(const class TToken&) = 0;
   virtual std::string drop(void) = 0;
   virtual void setCursorHint(const std::string&) = 0;
+  virtual bool hideCursor(void) = 0;
+  virtual bool showCursor(void) = 0;
 
   virtual bool freeze(void);
   virtual bool thaw(void);