diff options
| author | Jim Blandy | 1993-05-16 01:32:11 +0000 |
|---|---|---|
| committer | Jim Blandy | 1993-05-16 01:32:11 +0000 |
| commit | 584d06343263dd79481d91292722e60848840174 (patch) | |
| tree | 8a47e01bc965c7ee3922fb4a871fbb220e643f71 /src | |
| parent | 9b5283804a00d19d089aff40bacc33677453dfa1 (diff) | |
| download | emacs-584d06343263dd79481d91292722e60848840174.tar.gz emacs-584d06343263dd79481d91292722e60848840174.zip | |
* xfaces.c (Fset_face_attribute_internal): Jolt redisplay, so it
knows something has changed.
Diffstat (limited to 'src')
| -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, | |||
| 917 | UNBLOCK_INPUT; | 917 | UNBLOCK_INPUT; |
| 918 | } | 918 | } |
| 919 | 919 | ||
| 920 | /* If we're modifying either of the frame's display faces, that | ||
| 921 | means that we're changing the parameters of a fixed face code; | ||
| 922 | since the color/font/whatever is changed but the face ID hasn't, | ||
| 923 | redisplay won't know to redraw the affected sections. Give it a | ||
| 924 | kick. */ | ||
| 925 | if (id == 0 || id == 1) | ||
| 926 | SET_FRAME_GARBAGED (f); | ||
| 927 | else | ||
| 928 | /* Otherwise, it's enough to tell it to redisplay the text. */ | ||
| 929 | windows_or_buffers_changed = 1; | ||
| 930 | |||
| 920 | return Qnil; | 931 | return Qnil; |
| 921 | } | 932 | } |
| 922 | 933 | ||