remember the default #lang line separately from the language preference

closes PR 12210
This commit is contained in:
Robby Findler 2011-09-21 06:37:32 -05:00
parent 6ccffddb71
commit 0ba3a8ef7c
2 changed files with 10 additions and 5 deletions

View File

@ -589,6 +589,7 @@
(and (integer? i)
(<= 1 i 255))))
(not x))))
(drr:set-default 'drracket:module-language:auto-text "#lang racket" string?)
(let ([drs-handler-recent-items-super%
(class (drracket:frame:basics-mixin

View File

@ -77,7 +77,7 @@
(define default-compilation-on? #t)
(define default-full-trace? #t)
(define default-auto-text "#lang racket\n")
(define (get-default-auto-text) (preferences:get 'drracket:module-language:auto-text))
;; module-mixin : (implements drracket:language:language<%>)
;; -> (implements drracket:language:language<%>)
@ -178,7 +178,7 @@
'(default)
#()
default-auto-text
(get-default-auto-text)
default-compilation-on?
default-full-trace?)))
@ -217,7 +217,7 @@
(let ([collection-paths (list-ref marshalled 1)]
[command-line-args (list-ref marshalled 2)]
[auto-text (if (<= marshalled-len 3)
default-auto-text
(get-default-auto-text)
(list-ref marshalled 3))]
[compilation-on? (if (<= marshalled-len 4)
default-compilation-on?
@ -581,7 +581,11 @@
[parent auto-text-panel]
[label #f]
[init-value ""]
[callback void]))
[callback
(λ (tf evt)
(define t (send tf get-editor))
(preferences:set 'drracket:module-language:auto-text
(send t get-text)))]))
;; data associated with each item in listbox : boolean
;; indicates if the entry is the default paths.
@ -708,7 +712,7 @@
(install-collection-paths '(default))
(update-buttons)
(install-auto-text default-auto-text)
(install-auto-text (get-default-auto-text))
(update-compilation-checkbox left-debugging-radio-box right-debugging-radio-box)
(case-lambda