final world display, Closes PR11471
This commit is contained in:
parent
cf3b9680ba
commit
6df50ffe83
|
@ -263,14 +263,17 @@
|
||||||
(begin
|
(begin
|
||||||
(set! nw (stop-the-world-world nw))
|
(set! nw (stop-the-world-world nw))
|
||||||
(send world set tag nw)
|
(send world set tag nw)
|
||||||
(when last-picture (last-draw))
|
(cond
|
||||||
(when draw (pdraw))
|
[last-picture (last-draw)]
|
||||||
|
[draw (pdraw)])
|
||||||
(callback-stop! 'name)
|
(callback-stop! 'name)
|
||||||
(enable-images-button))
|
(enable-images-button))
|
||||||
(let ([changed-world? (send world set tag nw)])
|
(let ([changed-world? (send world set tag nw)]
|
||||||
|
[stop? (pstop)])
|
||||||
;; this is the old "Robby optimization" see checked-cell:
|
;; this is the old "Robby optimization" see checked-cell:
|
||||||
; unless changed-world?
|
; unless changed-world?
|
||||||
(when draw
|
(cond
|
||||||
|
[(and draw (not stop?))
|
||||||
(cond
|
(cond
|
||||||
[(not drawing)
|
[(not drawing)
|
||||||
(set! drawing #t)
|
(set! drawing #t)
|
||||||
|
@ -285,11 +288,13 @@
|
||||||
;; high!! the scheduled callback didn't fire
|
;; high!! the scheduled callback didn't fire
|
||||||
(queue-callback (lambda () (d)) #t)]
|
(queue-callback (lambda () (d)) #t)]
|
||||||
[else
|
[else
|
||||||
(set! draw# (- draw# 1))]))
|
(set! draw# (- draw# 1))])]
|
||||||
(when (pstop)
|
[stop?
|
||||||
(when last-picture (last-draw))
|
(cond
|
||||||
(callback-stop! 'name)
|
[last-picture (last-draw)]
|
||||||
(enable-images-button))
|
[draw (pdraw)])
|
||||||
|
(callback-stop! 'name)
|
||||||
|
(enable-images-button)])
|
||||||
changed-world?))))))))
|
changed-world?))))))))
|
||||||
|
|
||||||
;; tick, tock : deal with a tick event for this world
|
;; tick, tock : deal with a tick event for this world
|
||||||
|
|
Loading…
Reference in New Issue
Block a user