changeset 2724:56a657acd984

* dispextern.h (struct face): Add cached_index member. * xfaces.c (get_cached_face): Use it to avoid unnecessary searches of face_vector.
author Jim Blandy <jimb@redhat.com>
date Mon, 10 May 1993 00:15:58 +0000
parents 4700c2afc248
children 507115aff66d
files src/dispextern.h
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/dispextern.h	Mon May 10 00:15:35 1993 +0000
+++ b/src/dispextern.h	Mon May 10 00:15:58 1993 +0000
@@ -29,6 +29,13 @@
     /* 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.  */
     int foreground;