From 12e110ac2c027654b33b2d07dbb24f0eddf935a7 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 6 Feb 1997 21:07:33 +0000 Subject: [PATCH] added fixup and paren-match prefs, got rid of combinded pref original commit: adede6b05a87b1e54da077aa0a08499fcf992387 --- collects/mred/prefs.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss index 87ba6709..4ff7ca9d 100644 --- a/collects/mred/prefs.ss +++ b/collects/mred/prefs.ss @@ -245,8 +245,8 @@ (send c set-value (pref->bool v))))))] [id (lambda (x) x)]) (make-check 'mred:highlight-parens "Highlight between matching parens?" id id) - (make-check 'mred:paren-match/fixup-parens - "Flash paren match and correct parens?" id id) + (make-check 'mred:fixup-parens "Correct parens?" id id) + (make-check 'mred:paren-match "Flash paren match?" id id) (make-check 'mred:autosaving-on? "Auto-save files?" id id) (make-check 'mred:delete-forward? "Map delete to backspace?" not not) (make-check 'mred:file-dialogs "Use platform-specific file dialogs?"