diff etc/HELLO @ 95786:3050aaaeadc9

(menu-set-font): New function. Bind "Set Default Font" menu item to it. Apply selected font to all frames, and make it savable. (menu-bar-options-save): Save `default' font if changed.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 10 Jun 2008 19:55:38 +0000
parents cbf5528cf447
children 424fe1248b56
line wrap: on
line diff