X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTDocument.hh;h=b1ca562c63431125a7f54a7b0919e8709a0f6afd;hb=387aeebf96181c051b7f527a0901b173cfcdf194;hp=cf4b7c391b2c7e60a491b8abd169a0f4293ce009;hpb=2f94240bc382ca43017f31b0852f1717fe18090b;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/TDocument.hh b/helm/DEVEL/mathml_editor/src/TDocument.hh
index cf4b7c391..b1ca562c6 100644
--- a/helm/DEVEL/mathml_editor/src/TDocument.hh
+++ b/helm/DEVEL/mathml_editor/src/TDocument.hh
@@ -21,6 +21,7 @@ public:
 
   DOM::Document document(void) const { return doc; };
 
+  TNode getNodeById(unsigned) const;
   TNode root(void) { return doc.get_documentElement(); };
   TNode dirtyNode(void) const { return dirty; };
   void  clearDirty(void) { dirty = DOM::Element(0); };
@@ -32,6 +33,8 @@ private:
   DOM::Element dirty;
 
   virtual void handleEvent(const DOM::Event&);
+  static std::string makeId(unsigned);
+  static TNode getNodeByIdAux(const TNode&, const std::string&);
   static unsigned nodeDepth(const DOM::Node&);
   static DOM::Node findCommonAncestor(const DOM::Node&, const DOM::Node&);
   static DOM::Node findIdNode(const DOM::Node&);