diff options
author | Jim Blandy <jimb@redhat.com> | 1993-05-16 01:32:11 +0000 |
---|---|---|
committer | Jim Blandy <jimb@redhat.com> | 1993-05-16 01:32:11 +0000 |
commit | 584d06343263dd79481d91292722e60848840174 (patch) | |
tree | 8a47e01bc965c7ee3922fb4a871fbb220e643f71 /src/xfaces.c | |
parent | 9b5283804a00d19d089aff40bacc33677453dfa1 (diff) | |
download | emacs-584d06343263dd79481d91292722e60848840174.tar.gz |
* xfaces.c (Fset_face_attribute_internal): Jolt redisplay, so it
knows something has changed.
Diffstat (limited to 'src/xfaces.c')
-rw-r--r-- | src/xfaces.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/xfaces.c b/src/xfaces.c index 225e9939445..e450b3aa8e5 100644 --- a/src/xfaces.c +++ b/src/xfaces.c @@ -917,6 +917,17 @@ DEFUN ("set-face-attribute-internal", Fset_face_attribute_internal, UNBLOCK_INPUT; } + /* If we're modifying either of the frame's display faces, that + means that we're changing the parameters of a fixed face code; + since the color/font/whatever is changed but the face ID hasn't, + redisplay won't know to redraw the affected sections. Give it a + kick. */ + if (id == 0 || id == 1) + SET_FRAME_GARBAGED (f); + else + /* Otherwise, it's enough to tell it to redisplay the text. */ + windows_or_buffers_changed = 1; + return Qnil; } |