From 40e43bfaf751da939f3702d97f6a68d89ffc0396 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Sat, 3 Feb 2001 01:20:01 +0000
Subject: [PATCH] Document Node.isSameNode().

---
 Doc/lib/xmldom.tex | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Doc/lib/xmldom.tex b/Doc/lib/xmldom.tex
index 4a8c7b7a94..74c92fb07f 100644
--- a/Doc/lib/xmldom.tex
+++ b/Doc/lib/xmldom.tex
@@ -237,6 +237,13 @@ Returns true if the node has any attributes.
 Returns true if the node has any child nodes.
 \end{methoddesc}
 
+\begin{methoddesc}[Node]{isSameNode}{other}
+Returns true if \var{other} refers to the same node as this node.
+This is especially useful for DOM implementations which use any sort
+of proxy architecture (because more than one object can refer to the
+same node).
+\end{methoddesc}
+
 \begin{methoddesc}[Node]{appendChild}{newChild}
 Add a new child node to this node at the end of the list of children,
 returning \var{newChild}.
-- 
2.50.0