diff src/xmenu.c @ 8521:340ebdb14a0e

(frame-notice-user-settings): If we change the frame's font, call frame-update-faces.
author Richard M. Stallman <rms@gnu.org>
date Thu, 11 Aug 1994 21:38:02 +0000
parents 8a8d2cdd4218
children 1ef305a42786
line wrap: on
line diff