# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 985288293 0
# Node ID 7e04c5d86fe68788d1d307ac092a1ac43bf2a941
# Parent  1687dcb12ac791703c532bc30322a62adee57bb8
(x_print_complete_resource_name) [0]: New function.

diff -r 1687dcb12ac7 -r 7e04c5d86fe6 lwlib/lwlib-Xm.c
--- a/lwlib/lwlib-Xm.c	Thu Mar 22 18:34:55 2001 +0000
+++ b/lwlib/lwlib-Xm.c	Thu Mar 22 19:11:33 2001 +0000
@@ -139,6 +139,32 @@
 #endif
 
 
+#if 0
+
+/* Print the complete X resource name of widget WIDGET to stderr.
+   This is sometimes handy to have available.  */
+
+void
+x_print_complete_resource_name (widget)
+     Widget widget;
+{
+  int i;
+  String names[100];
+
+  for (i = 0; i < 100 && widget != NULL; ++i)
+    {
+      names[i] = XtName (widget);
+      widget = XtParent (widget);
+    }
+
+  for (--i; i >= 1; --i)
+    fprintf (stderr, "%s.", names[i]);
+  fprintf (stderr, "%s\n", names[0]);
+}
+
+#endif /* 0 */
+
+
 static destroyed_instance *all_destroyed_instances = NULL;
 
 static destroyed_instance*