suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Change color in editor: Grey -> Gray

Browse Source
This commit is contained in:
Gustavo Massaccesi 2015-01-29 19:24:29 -03:00 committed by Matthew Flatt
parent d8f090957f
commit 5a126f552e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gui-lib/mred/private/editor.rkt
View File

@ -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)