improvements to the preferences dialog
svn: r14670
This commit is contained in:
parent
60db480a8d
commit
1cb53bdf2a
|
@ -467,7 +467,8 @@ the state transitions / contracts are:
|
||||||
(string-constant automatically-to-ps)
|
(string-constant automatically-to-ps)
|
||||||
(λ (b)
|
(λ (b)
|
||||||
(if b 'postscript 'standard))
|
(if b 'postscript 'standard))
|
||||||
(λ (n) (eq? 'postscript n)))))))])
|
(λ (n) (eq? 'postscript n))))
|
||||||
|
(general-panel-procs editor-panel))))])
|
||||||
(add-general-checkbox-panel)))
|
(add-general-checkbox-panel)))
|
||||||
|
|
||||||
(define (add-warnings-checkbox-panel)
|
(define (add-warnings-checkbox-panel)
|
||||||
|
|
|
@ -96,23 +96,17 @@
|
||||||
|
|
||||||
;; extend-preferences-panel : vertical-panel -> void
|
;; extend-preferences-panel : vertical-panel -> void
|
||||||
;; adds in the configuration for the Java colors to the prefs panel
|
;; adds in the configuration for the Java colors to the prefs panel
|
||||||
(define (extend-preferences-panel parent)
|
(define ((extend-preferences-panel color-table) parent)
|
||||||
(let ((standard-color-prefs
|
(let ((put
|
||||||
(make-object group-box-panel% (string-constant profj-java-mode-color-heading) parent))
|
(lambda (line)
|
||||||
(coverage-color-panel
|
(let ([sym (car line)]
|
||||||
(make-object group-box-panel% (string-constant profj-coverage-color-heading) parent))
|
[str (caddr line)])
|
||||||
(put
|
(color-prefs:build-color-selection-panel
|
||||||
(lambda (p)
|
parent
|
||||||
(lambda (line)
|
(short-sym->pref-name sym)
|
||||||
(let ([sym (car line)]
|
(short-sym->style-name sym)
|
||||||
[str (caddr line)])
|
str)))))
|
||||||
(color-prefs:build-color-selection-panel
|
(for-each put color-table)))
|
||||||
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 mode-surrogate%
|
(define mode-surrogate%
|
||||||
(class color:text-mode%
|
(class color:text-mode%
|
||||||
|
@ -1230,7 +1224,10 @@
|
||||||
;;
|
;;
|
||||||
|
|
||||||
(drscheme:modes:add-mode (string-constant profj-java-mode) mode-surrogate repl-submit matches-language)
|
(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)
|
(define (register line)
|
||||||
(let ([sym (car line)]
|
(let ([sym (car line)]
|
||||||
|
|
|
@ -1292,6 +1292,7 @@ please adhere to these guidelines:
|
||||||
;; Profj
|
;; Profj
|
||||||
(profj-java "Java")
|
(profj-java "Java")
|
||||||
(profj-java-mode "Java mode")
|
(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 "Beginner")
|
||||||
(profj-beginner-lang-one-line-summary "Java-like Beginner teaching language")
|
(profj-beginner-lang-one-line-summary "Java-like Beginner teaching language")
|
||||||
|
|
Loading…
Reference in New Issue
Block a user