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

protect against nested snip deletes in `pasteboard%'

Browse Source 
original commit: 909aaddf3d256a0fd9058e083d499273cc646f09
This commit is contained in:
Matthew Flatt 2011-05-25 07:25:44 -06:00
parent 40cf518b8c
commit 0858085e2a
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/mred/private/wxme/pasteboard.rkt
View File

@ -729,7 +729,10 @@
(case-args
args
[()
(delete-some (lambda (s) (loc-selected? (snip-loc s))))]
(delete-some (lambda (s)
(let ([l (snip-loc s)])
(and l ;; deleted already!
(loc-selected? l)))))]
[([snip% s])
(unless (or s-user-locked?
(not (zero? write-locked)))
@ -1295,7 +1298,7 @@
;; called by the administrator to trigger a redraw
(def/override (refresh [real? left] [real? top] [nonnegative-real? width] [nonnegative-real? height]
[(symbol-in no-caret show-inactive-caret show-caret) show-caret]
[caret-status? show-caret]
[(make-or-false color%) bg-color])
(cond