diff build-ins.in @ 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 1541c518f769
children
line wrap: on
line diff