changeset 104072:426c7a668b5d

Entry removed: ** "Options -> Save Options" should save the font set via "Set Font/Fontset"
author Chong Yidong <cyd@stupidchicken.com>
date Sun, 26 Jul 2009 17:24:13 +0000
parents b5279fa5497b
children 954f611b27dc
files etc/TODO
diffstat 1 files changed, 0 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/etc/TODO	Sun Jul 26 15:59:37 2009 +0000
+++ b/etc/TODO	Sun Jul 26 17:24:13 2009 +0000
@@ -59,9 +59,6 @@
 ** Make it possible to reliably turn on minor modes using "mode:" in the local 
 variables section.
 
-** "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.
 
 ** Distribute a bar cursor of width > 1 evenly between the two glyphs