# HG changeset patch
# User Stefan Monnier <monnier@iro.umontreal.ca>
# Date 1184648367 0
# Node ID 7ec7d44d6f9095565d320205f478548976cf4933
# Parent  6806504780b5835404c2b125fac36953d12521e6
*** empty log message ***

diff -r 6806504780b5 -r 7ec7d44d6f90 etc/TODO
--- a/etc/TODO	Tue Jul 17 04:47:57 2007 +0000
+++ b/etc/TODO	Tue Jul 17 04:59:27 2007 +0000
@@ -14,6 +14,9 @@
 
 * Small but important fixes needed in existing features:
 
+** "Options -> Save Options" should save the font set via "Set Font/Fontset"
+I.e. mouse-set-font should use customize-face.
+
 ** Compute the list of active keymaps *after* reading the first event.
 
 ** Avoid using "iff" in doc strings.