Stop setting mouse face GC manually, as it is no longer required

* src/pgtkterm.c (x_set_mouse_face_gc): Remove obsolete code.

diff --git a/src/pgtkterm.c b/src/pgtkterm.c
index 8353a9ca4dc926c2186a5c31b902083a57d37995..d9b2e385fc5b061605ad40617bf12e120cf0db2f 100644 (file)
--- a/src/pgtkterm.c
+++ b/src/pgtkterm.c
@@ -1007,20 +1007,6 @@ x_set_cursor_gc (struct glyph_string *s)
 static void
 x_set_mouse_face_gc (struct glyph_string *s)
 {
-  int face_id;
-  struct face *face;
-
-  /* What face has to be used last for the mouse face?  */
-  face_id = MOUSE_HL_INFO (s->f)->mouse_face_face_id;
-  face = FACE_FROM_ID_OR_NULL (s->f, face_id);
-  if (face == NULL)
-    face = FACE_FROM_ID (s->f, MOUSE_FACE_ID);
-
-  if (s->first_glyph->type == CHAR_GLYPH)
-    face_id = FACE_FOR_CHAR (s->f, face, s->first_glyph->u.ch, -1, Qnil);
-  else
-    face_id = FACE_FOR_CHAR (s->f, face, 0, -1, Qnil);
-  s->face = FACE_FROM_ID (s->f, face_id);
   prepare_face_for_display (s->f, s->face);
 
   if (s->font == s->face->font)