lang preference no longer depends on the version
svn: r1170
This commit is contained in:
parent
95460a186c
commit
b671f3825c
|
@ -32,12 +32,8 @@
|
|||
[drscheme:help-desk : drscheme:help-desk^])
|
||||
|
||||
;; settings-preferences-symbol : symbol
|
||||
;; the preferences key for the language settings.
|
||||
;; depends on the version number, so people can use multiple versions
|
||||
;; of drscheme and maintain separate language settings for each
|
||||
;; of them.
|
||||
(define settings-preferences-symbol
|
||||
(string->symbol (format "drscheme:~a-settings" (version:version))))
|
||||
;; this pref used to depend on `version', but no longer does.
|
||||
(define settings-preferences-symbol 'drscheme:language-settings)
|
||||
|
||||
;; get-settings-preferences-symbol : -> symbol
|
||||
(define (get-settings-preferences-symbol) settings-preferences-symbol)
|
||||
|
|
|
@ -287,7 +287,7 @@
|
|||
;; test for this preference, reverting back to the default.
|
||||
;; In that case, the default is specified in the pref.ss file
|
||||
;; of the default collection and may not be the default
|
||||
;; specified below.
|
||||
;; specified above (of course).
|
||||
(preferences:set-un/marshall
|
||||
drscheme:language-configuration:settings-preferences-symbol
|
||||
(λ (x)
|
||||
|
|
Loading…
Reference in New Issue
Block a user