suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

avoid spurious screen refresh on text-measure operations

Browse Source 
The drawing layer now indicates whether drawing content was
changed as it releases a drawing handle.
This commit is contained in:
Matthew Flatt 2016-02-05 16:50:35 -07:00
parent f02fd8f338
commit 5736535b8a
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gui-lib/info.rkt
View File

@ -6,7 +6,7 @@
"data-lib" "data-lib"
["base" #:version "6.4"] ["base" #:version "6.4"]
"syntax-color-lib" "syntax-color-lib"
["draw-lib" #:version "1.11"] ["draw-lib" #:version "1.13"]
["snip-lib" #:version "1.2"] ["snip-lib" #:version "1.2"]
"wxme-lib" "wxme-lib"
"pict-lib" "pict-lib"

3
gui-lib/mred/private/wx/common/backing-dc.rkt
View File

@ -134,6 +134,9 @@
(when (zero? flush-suspends) (when (zero? flush-suspends)
(queue-backing-flush))) (queue-backing-flush)))
(define/override (release-unchanged-cr cr)
(void))
(define/override (erase) (define/override (erase)
(super erase) (super erase)
(when (= (get-clear-operator) (when (= (get-clear-operator)