,

original commit: 03cc870269352cef0d465e63582a69653b927c40
2005-02-18 15:58:24 +00:00 · 2005-02-18 15:58:24 +00:00 · 422c14b4f1
commit 422c14b4f1
parent 8b9f07f119
1 changed files with 1 additions and 0 deletions
--- a/collects/mred/private/wxtop.ss
+++ b/collects/mred/private/wxtop.ss
@ -149,6 +149,7 @@

 	[add-border-button
 	 (lambda (b)
+	   (set! border-buttons (filter weak-box-value border-buttons))
 	   (set! border-buttons (cons (make-weak-box b) border-buttons)))]

 	;; add-child: update panel pointer.