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

cleanup code. attempt to add preference for line numbers in the general tab. closes pr11367

Browse Source 
original commit: 18504774f00cdff945217e36c4a5c01ed16fd5dc
This commit is contained in:
Jon Rafkind 2010-11-01 22:14:28 -06:00
parent 2388261846
commit 8493d46967
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/framework/private/preferences.rkt
View File

@ -454,8 +454,10 @@ the state transitions / contracts are:
'framework:autosaving-on?
(string-constant auto-save-files)
values values)
(make-check editor-panel 'framework:backup-files? (string-constant backup-files) values values)
(make-check editor-panel 'framework:backup-files? (string-constant backup-files) values values)
(make-check editor-panel 'framework:show-status-line (string-constant show-status-line) values values)
;; does this not belong here?
;; (make-check editor-panel 'drracket:show-line-numbers (string-constant show-line-numbers)
(make-check editor-panel 'framework:col-offsets (string-constant count-columns-from-one) values values)
(make-check editor-panel
'framework:display-line-numbers