suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use the proper preferences panel

Browse Source
This commit is contained in:
Robby Findler 2015-07-22 12:18:32 -05:00
parent b528e0e682
commit 2d654de678
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gui-lib/framework/private/preferences.rkt
View File

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