diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt index 974b4f8aa2..d9bcf5668b 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt @@ -172,6 +172,9 @@ If the namespace does not, they are colored the unbound color. #:style both-obligation-style-name (make-object color% 139 142 28) (send the-color-database find-color "khaki")) +(color-prefs:add-color-scheme-entry 'drracket:syncheck:matching-identifiers + "GreenYellow" + "DarkGreen") (define tool@ (unit @@ -260,7 +263,9 @@ If the namespace does not, they are colored the unbound color. (define (get-tacked-tail-brush white-on-black?) (send the-brush-list find-or-create-brush "orchid" 'solid)) (define (get-untacked-brush white-on-black?) - (send the-brush-list find-or-create-brush "WHITE" 'solid)) + (send the-brush-list find-or-create-brush + (if white-on-black? "black" "white") + 'solid)) ;; clearing-text-mixin : (mixin text%) ;; overrides methods that make sure the arrows go away appropriately. @@ -1283,10 +1288,9 @@ If the namespace does not, they are colored the unbound color. (define current-matching-identifiers (make-hash)) (define/private (update-matching-identifiers refreshing?) - - (define clr "GreenYellow") + (define clr (color-prefs:lookup-in-color-scheme + 'drracket:syncheck:matching-identifiers)) (define style 'ellipse) - (define in-edit-sequence '()) (define (un/highlight highlight?) (for ([(lst _) (in-hash current-matching-identifiers)])