From 7037120be7fca22a322f7c4fd48cce1546f4a618 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 2 Oct 2013 10:02:04 -0500 Subject: [PATCH] tweaks to try to get more information on a new error in case it happens again --- pkgs/gui-pkgs/gui-lib/framework/preferences.rkt | 2 +- pkgs/gui-pkgs/gui-lib/framework/private/editor.rkt | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/pkgs/gui-pkgs/gui-lib/framework/preferences.rkt b/pkgs/gui-pkgs/gui-lib/framework/preferences.rkt index c713ce306a..aa81ec9ddc 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/preferences.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/preferences.rkt @@ -144,7 +144,7 @@ the state transitions / contracts are: (error 'preferences:set (string-append "new value doesn't satisfy preferences:set-default predicate\n" - " pref sym: ~e\n" + " pref sym: ~v\n" " given: ~e\n" " predicate: ~e") p value checker?)) diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/editor.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/editor.rkt index 0862811c68..dc4937255f 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/private/editor.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/private/editor.rkt @@ -456,7 +456,8 @@ (get-current-preferred-font-size)))) - (define (set-current-preferred-font-size new-size) + (define/contract (set-current-preferred-font-size new-size) + (-> exact-nonnegative-integer? void?) (define old-pref (preferences:get 'framework:standard-style-list:font-size)) (define current-mons (get-current-monitor-sizes)) (define new-monitor-sizes