From 5736535b8a3c44afd4e22b35dd7e8ba05bc9526c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 5 Feb 2016 16:50:35 -0700 Subject: [PATCH] avoid spurious screen refresh on text-measure operations The drawing layer now indicates whether drawing content was changed as it releases a drawing handle. --- gui-lib/info.rkt | 2 +- gui-lib/mred/private/wx/common/backing-dc.rkt | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/gui-lib/info.rkt b/gui-lib/info.rkt index 9d3e8a37..408a2501 100644 --- a/gui-lib/info.rkt +++ b/gui-lib/info.rkt @@ -6,7 +6,7 @@ "data-lib" ["base" #:version "6.4"] "syntax-color-lib" - ["draw-lib" #:version "1.11"] + ["draw-lib" #:version "1.13"] ["snip-lib" #:version "1.2"] "wxme-lib" "pict-lib" diff --git a/gui-lib/mred/private/wx/common/backing-dc.rkt b/gui-lib/mred/private/wx/common/backing-dc.rkt index 3cda0c7d..73304a6d 100644 --- a/gui-lib/mred/private/wx/common/backing-dc.rkt +++ b/gui-lib/mred/private/wx/common/backing-dc.rkt @@ -134,6 +134,9 @@ (when (zero? flush-suspends) (queue-backing-flush))) + (define/override (release-unchanged-cr cr) + (void)) + (define/override (erase) (super erase) (when (= (get-clear-operator)