From 6989f8988090022c3e6cf997c83bb283212a59a0 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 30 Jul 2008 03:52:30 +0000 Subject: [PATCH] renamed anchor pref svn: r10983 original commit: f7649668430cd27064a533634a24ba42c14df6eb --- collects/framework/private/preferences.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/framework/private/preferences.ss b/collects/framework/private/preferences.ss index a0dae8c8..95f36829 100644 --- a/collects/framework/private/preferences.ss +++ b/collects/framework/private/preferences.ss @@ -445,7 +445,7 @@ the state transitions / contracts are: (λ (n) (eq? 'postscript n)))) (make-check editor-panel 'framework:anchored-search - "Anchor based search" + (string-constant find-anchor-based) values values) (editor-panel-procs editor-panel))))]) (add-editor-checkbox-panel)))