# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 782378863 0
# Node ID 0ea557ca2caa79b9fe706db19f6245157f5c9515
# Parent  cf4f4c8a3ef6b8cce83d7f5af3b454adb27cff88
(struct face): Delete cached_index field.

diff -r cf4f4c8a3ef6 -r 0ea557ca2caa src/dispextern.h
--- a/src/dispextern.h	Mon Oct 17 07:26:30 1994 +0000
+++ b/src/dispextern.h	Mon Oct 17 07:27:43 1994 +0000
@@ -29,13 +29,6 @@
     /* If this is non-zero, it is a GC we can use without modification
        to represent this face.  */
     GC gc;
-
-    /* If we have ever called get_cached_face on this face structure,
-       here is the index in face_vector of the face it returned.  It
-       might not be valid any more, but it's a good place to start
-       looking; get_cached_face tries to use this to avoid searching
-       all of face_vector.  */
-    int cached_index;
   
     /* Pixel value for foreground color.  */
     EMACS_UINT foreground;