From 2d654de67855d49513ea5c7af59075c641e41342 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 22 Jul 2015 12:18:32 -0500 Subject: [PATCH] use the proper preferences panel --- gui-lib/framework/private/preferences.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui-lib/framework/private/preferences.rkt b/gui-lib/framework/private/preferences.rkt index e6c0c7a9..1d06a78f 100644 --- a/gui-lib/framework/private/preferences.rkt +++ b/gui-lib/framework/private/preferences.rkt @@ -455,7 +455,7 @@ the state transitions / contracts are: (set! add-editor-checkbox-panel void) (add-checkbox-panel (list (string-constant editor-prefs-panel-label) - (string-constant general-prefs-panel-label)) + (string-constant editor-general-prefs-panel-label)) (λ (editor-panel) (add-check editor-panel 'framework:delete-forward? (string-constant map-delete-to-backspace) not not)