changeset 81924:7ec7d44d6f90

*** empty log message ***
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 17 Jul 2007 04:59:27 +0000
parents 6806504780b5
children 584ac4db2633
files etc/TODO
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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.