From 10ae6fbb90dc0dde015e6c8e5263ebe12433b19e Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 29 Jul 2014 08:58:37 -0500 Subject: [PATCH] fix contracts for racket:get-color-prefs-table and racket:get-white-on-black-color-prefs-table Apparently these contracts have always been wrong; 5.2.1 had these exports with the wrong contracts and 5.2 didn't have them closes PR 14664 --- pkgs/gui-pkgs/gui-lib/framework/main.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/gui-pkgs/gui-lib/framework/main.rkt b/pkgs/gui-pkgs/gui-lib/framework/main.rkt index a2902760e5..43a285a57e 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/main.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/main.rkt @@ -1480,7 +1480,7 @@ (proc-doc/names racket:get-color-prefs-table - (-> (listof (list/c symbol? (is-a?/c color%)))) + (-> (listof (list/c symbol? (is-a?/c color%) string?))) () @{Returns a table mapping from symbols (naming the categories that the online colorer uses for Racket mode coloring) to their colors. @@ -1493,7 +1493,7 @@ (proc-doc/names racket:get-white-on-black-color-prefs-table - (-> (listof (list/c symbol? (is-a?/c color%)))) + (-> (listof (list/c symbol? (is-a?/c color%) string?))) () @{Returns a table mapping from symbols (naming the categories that the online colorer uses for Racket mode coloring) to their colors when the user