diff config.bat @ 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 de6995fec29e
children 9eae919f9a23
line wrap: on
line diff