2001-05-11 Gerd Moellmann <gerd@gnu.org>
+ * startup.el (command-line): If parameters have been changed in
+ the init files which influence font selection, clear the face
+ cache so that faces get realized with the new parameters.
+
* Makefile.in (compile-files): Redirect output of chmod to
/dev/null.
2001-05-11 Gerd Moellmann <gerd@gnu.org>
+ * keyboard.c (read_key_sequence): Don't modify events when
+ generating fake prefix keys (mode-line, scroll-bar, ...) since
+ this prevents proper processing of such events when pushed back
+ into unread-command-events.
+
* xterm.c (clear_mouse_face): Return 1 if text with mouse face was
actually redrawn. Make the function static.
(note_mouse_highlight): Fix a case where the mouse cursor