# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 780129899 0
# Node ID 5882c2fedd98e1119f154047d1add044abdbacb5
# Parent  286aacffb920a70485718904d4aa2861c9d0845a
(note_mouse_highlight): Pass new arg to overlays_at.

diff -r 286aacffb920 -r 5882c2fedd98 src/xterm.c
--- a/src/xterm.c	Wed Sep 21 06:33:22 1994 +0000
+++ b/src/xterm.c	Wed Sep 21 06:44:59 1994 +0000
@@ -1937,7 +1937,8 @@
 
 	  /* Put all the overlays we want in a vector in overlay_vec.
 	     Store the length in len.  */
-	  noverlays = overlays_at (XINT (pos), 1, &overlay_vec, &len, &ignor1);
+	  noverlays = overlays_at (XINT (pos), 1, &overlay_vec, &len,
+				   NULL, NULL);
 	  noverlays = sort_overlays (overlay_vec, noverlays, w);
 
 	  /* Find the highest priority overlay that has a mouse-face prop.  */
@@ -4558,8 +4559,28 @@
 	  char *atom
 	    = XGetAtomName (x_current_display, font->properties[i].name);
 	  if (!strcmp (atom, "FONT"))
-	    full_name = XGetAtomName (x_current_display,
-				      (Atom) (font->properties[i].card32));
+	    {
+	      char *name = XGetAtomName (x_current_display,
+					 (Atom) (font->properties[i].card32));
+	      char *p = name;
+	      int dashes = 0;
+
+	      /* Count the number of dashes in the "full name".
+		 If it is too few, this isn't really the font's full name,
+		 so don't use it.
+		 In X11R4, the fonts did not come with their canonical names
+		 stored in them.  */
+	      while (*p)
+		{
+		  if (*p == '-')
+		    dashes++;
+		  p++;
+		}
+
+	      if (dashes >= 13)
+		full_name = name;
+	    }
+
 	  XFree (atom);
 	}