From 745d56c49a057fe4f87d5acbaa39545b6df85025 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 8 Sep 2013 11:20:36 -0500 Subject: [PATCH] clean up get-current-color-scheme{-name} original commit: 78fbe54da018738634248745f5de24bc1d1de86f --- pkgs/gui-pkgs/gui-lib/framework/main.rkt | 7 ++++--- pkgs/gui-pkgs/gui-lib/framework/private/color-prefs.rkt | 3 +++ pkgs/gui-pkgs/gui-lib/framework/private/sig.rkt | 2 +- 3 files changed, 8 insertions(+), 4 deletions(-) diff --git a/pkgs/gui-pkgs/gui-lib/framework/main.rkt b/pkgs/gui-pkgs/gui-lib/framework/main.rkt index 5ba8247d..f5d48dee 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/main.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/main.rkt @@ -1950,11 +1950,12 @@ (-> symbol? void?) (name) @{Sets - the current color scheme to @racket[name], if @racket[name] is - @racket[color-prefs:known-color-scheme-name?]. Otherwise, does nothing.}) + the current color scheme to the scheme named @racket[name], + if @racket[name] is @racket[color-prefs:known-color-scheme-name?]. + Otherwise, does nothing.}) (proc-doc - color-prefs:get-current-color-scheme + color-prefs:get-current-color-scheme-name (-> color-prefs:color-scheme-style-name?) @{Returns the current color scheme's name.}) diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/color-prefs.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/color-prefs.rkt index b7025ad7..8514712c 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/private/color-prefs.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/private/color-prefs.rkt @@ -815,6 +815,9 @@ [found-color-scheme found-color-scheme] [else (car known-color-schemes)])) +(define (get-current-color-scheme-name) + (color-scheme-name (get-current-color-scheme))) + ;; string -> (or/c #f color-scheme?) (define (lookup-color-scheme name) (for/or ([known-color-scheme (in-list known-color-schemes)]) diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/sig.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/sig.rkt index 821b577b..bb88214d 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/private/sig.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/private/sig.rkt @@ -433,7 +433,7 @@ add-color-scheme-preferences-panel set-current-color-scheme - get-current-color-scheme + get-current-color-scheme-name known-color-scheme-name? color-scheme-style-name? lookup-in-color-scheme