diff options
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 | ||