]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/TNode.hh
Added some controls concerning the graphical deleting.
[helm.git] / helm / DEVEL / mathml_editor / src / TNode.hh
index dde315d36a05d787740afc8120353d11992e2151..b2c68fa6973a76e7a6d48f8c2eb57b6f9a067425 100644 (file)
@@ -52,6 +52,7 @@ public:
   //void  advance(const TNode&) const;
   void  remove(void) const;
   void  replace(const TNode&) const;
+  void  replace(const TNode&, const TNode&) const;
   void  insert(const TNode&) const;
   void  append(const TNode&) const;
   void  append(const TNode&, const TNode&) const;