Skip to content

Commit 43dea5d

Browse files
committed
this color choice should be based on the panel color scheme, not the user's preferences
as it is drawing a button whose background color is a drawn by a panel pls. include in the release
1 parent aaeeb31 commit 43dea5d

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

drracket-tool-lib/drracket/private/standalone-module-browser.rkt

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@
44
drracket/private/rectangle-intersect
55
framework/gui-utils
66
framework/preferences
7-
framework/private/wob-color-scheme
87
mrlib/graph
98
mrlib/panel-wob
109
pkg/path
@@ -536,7 +535,7 @@
536535
(define-values (cw ch) (get-client-size))
537536
(define-values (tw th _1 _2) (send dc get-text-extent label))
538537
(when in?
539-
(define color (if (white-on-black-color-scheme?) 0.5 0.2))
538+
(define color (if (white-on-black-panel-scheme?) 0.5 0.2))
540539
(send dc set-pen "black" 1 'transparent)
541540
(send dc set-brush (get-label-foreground-color) 'solid)
542541
(define alpha (send dc get-alpha))

0 commit comments

Comments
 (0)