diff --git a/gui-lib/framework/private/color-prefs.rkt b/gui-lib/framework/private/color-prefs.rkt index 48834ffb..75104f88 100644 --- a/gui-lib/framework/private/color-prefs.rkt +++ b/gui-lib/framework/private/color-prefs.rkt @@ -630,7 +630,19 @@ (sort (set->list known-style-names) symbol