# HG changeset patch
# User Jim Blandy <jimb@redhat.com>
# Date 715058932 0
# Node ID 777ed2b92359a0da02856b3bf648f50c06876660
# Parent  133bad38bde16ad170994c0aa8c78a1d04f25048
	* xrdb.c (get_user_db): Use XResourceManagerString when available
	[HAVE_X11R4].

diff -r 133bad38bde1 -r 777ed2b92359 src/xrdb.c
--- a/src/xrdb.c	Sat Aug 29 03:25:25 1992 +0000
+++ b/src/xrdb.c	Sat Aug 29 03:28:52 1992 +0000
@@ -279,9 +279,12 @@
   XrmDatabase db;
   char *xdefs;
 
-  /* Yes, I know we should probably get this using XResourceManagerString.
-     Who cares.  */
+#ifdef HAVE_X11R4
+  xdefs = XResourceManagerString (display);
+#else
   xdefs = display->xdefaults;
+#endif
+
   if (xdefs != NULL)
     db = XrmGetStringDatabase (xdefs);
   else