diff --git a/collects/framework/private/preferences.ss b/collects/framework/private/preferences.ss index c2a10f4065..03de70254b 100644 --- a/collects/framework/private/preferences.ss +++ b/collects/framework/private/preferences.ss @@ -467,7 +467,8 @@ the state transitions / contracts are: (string-constant automatically-to-ps) (λ (b) (if b 'postscript 'standard)) - (λ (n) (eq? 'postscript n)))))))]) + (λ (n) (eq? 'postscript n)))) + (general-panel-procs editor-panel))))]) (add-general-checkbox-panel))) (define (add-warnings-checkbox-panel) diff --git a/collects/profj/tool.ss b/collects/profj/tool.ss index cd96ba7833..699aa89569 100644 --- a/collects/profj/tool.ss +++ b/collects/profj/tool.ss @@ -96,23 +96,17 @@ ;; extend-preferences-panel : vertical-panel -> void ;; adds in the configuration for the Java colors to the prefs panel - (define (extend-preferences-panel parent) - (let ((standard-color-prefs - (make-object group-box-panel% (string-constant profj-java-mode-color-heading) parent)) - (coverage-color-panel - (make-object group-box-panel% (string-constant profj-coverage-color-heading) parent)) - (put - (lambda (p) - (lambda (line) - (let ([sym (car line)] - [str (caddr line)]) - (color-prefs:build-color-selection-panel - p - (short-sym->pref-name sym) - (short-sym->style-name sym) - str)))))) - (for-each (put standard-color-prefs) color-prefs-table) - (for-each (put coverage-color-panel) coverage-color-prefs))) + (define ((extend-preferences-panel color-table) parent) + (let ((put + (lambda (line) + (let ([sym (car line)] + [str (caddr line)]) + (color-prefs:build-color-selection-panel + parent + (short-sym->pref-name sym) + (short-sym->style-name sym) + str))))) + (for-each put color-table))) (define mode-surrogate% (class color:text-mode% @@ -1230,7 +1224,10 @@ ;; (drscheme:modes:add-mode (string-constant profj-java-mode) mode-surrogate repl-submit matches-language) - (color-prefs:add-to-preferences-panel (string-constant profj-java) extend-preferences-panel) + (color-prefs:add-to-preferences-panel (string-constant profj-java) + (extend-preferences-panel color-prefs-table)) + (color-prefs:add-to-preferences-panel (string-constant profj-java-coverage) + (extend-preferences-panel coverage-color-prefs)) (define (register line) (let ([sym (car line)] diff --git a/collects/string-constants/english-string-constants.ss b/collects/string-constants/english-string-constants.ss index 42971871d6..c0060edf13 100644 --- a/collects/string-constants/english-string-constants.ss +++ b/collects/string-constants/english-string-constants.ss @@ -1292,7 +1292,8 @@ please adhere to these guidelines: ;; Profj (profj-java "Java") (profj-java-mode "Java mode") - + (profj-java-coverage "Java Coverage") ;; shows up in the preferences dialog under 'Color' + (profj-beginner-lang "Beginner") (profj-beginner-lang-one-line-summary "Java-like Beginner teaching language") (profj-full-lang "Full")