From 00a7eaca2c1fd527ebcf148151178bf208c37d0d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 28 Oct 2014 16:19:50 -0500 Subject: [PATCH] adjust the wrap-bitmap-width field to always have an inexact number --- pkgs/gui-pkgs/gui-lib/mred/private/wxme/text.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/gui-pkgs/gui-lib/mred/private/wxme/text.rkt b/pkgs/gui-pkgs/gui-lib/mred/private/wxme/text.rkt index 243632f8bb..1dbc018bb2 100644 --- a/pkgs/gui-pkgs/gui-lib/mred/private/wxme/text.rkt +++ b/pkgs/gui-pkgs/gui-lib/mred/private/wxme/text.rkt @@ -4945,8 +4945,8 @@ (set! auto-wrap-bitmap bm) (if auto-wrap-bitmap - (set! wrap-bitmap-width (send auto-wrap-bitmap get-width)) - (set! wrap-bitmap-width 0)) + (set! wrap-bitmap-width (exact->inexact (send auto-wrap-bitmap get-width))) + (set! wrap-bitmap-width 0.0)) (when (max-width . > . 0) (set-max-width (+ max-width old-width)))