diff --git a/gui-lib/mred/private/editor.rkt b/gui-lib/mred/private/editor.rkt index 05296fa0..4808427c 100644 --- a/gui-lib/mred/private/editor.rkt +++ b/gui-lib/mred/private/editor.rkt @@ -756,7 +756,7 @@ '("Top" "Center" "Bottom") '(top center bottom)) - (let ([colors '("Black" "White" "Red" "Orange" "Yellow" "Green" "Blue" "Purple" "Cyan" "Magenta" "Grey")]) + (let ([colors '("Black" "White" "Red" "Orange" "Yellow" "Green" "Blue" "Purple" "Cyan" "Magenta" "Gray")]) ; Colors (for-each (lambda (c)