]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TPushParser.hh
Added some controls concerning the graphical deleting.
[helm.git] / helm / DEVEL / mathml_editor / src / TPushParser.hh
index c3cee66c89c900309213664483ee2611325d8224..951fb874ab79a0b85e805045cbf0b48410198548 100644 (file)
@@ -28,8 +28,6 @@ private:
   std::string PRIME(void) const;
   bool isPrimes(const TNode&) const;
   
-  void gdelete_prev(void);
-
   void do_begin(void);
   void do_end(void);
   void do_shift(void);
@@ -45,6 +43,8 @@ private:
   void do_active(const std::string&);
   void do_comment(void);
   void do_control(const std::string&);
+  void gdelete_prev(void);
+  void rgreplace_futher(void);
   void do_gdelete(void);
 
   void do_cr(void);