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)))