]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TPushParser.hh
A first partial implementation of deleting is introduced. The user might
[helm.git] / helm / DEVEL / mathml_editor / src / TPushParser.hh
index c104eb28c4c3a49ccfff0078fea5f53fd2cb5273..c3cee66c89c900309213664483ee2611325d8224 100644 (file)
@@ -27,6 +27,8 @@ private:
 
   std::string PRIME(void) const;
   bool isPrimes(const TNode&) const;
+  
+  void gdelete_prev(void);
 
   void do_begin(void);
   void do_end(void);
@@ -43,6 +45,7 @@ private:
   void do_active(const std::string&);
   void do_comment(void);
   void do_control(const std::string&);
+  void do_gdelete(void);
 
   void do_cr(void);
   void do_apostrophe(void);