From 422c14b4f12640cd7e1076e506c8bbf6a541d84a Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 18 Feb 2005 15:58:24 +0000
Subject: [PATCH] ,

original commit: 03cc870269352cef0d465e63582a69653b927c40
---
 collects/mred/private/wxtop.ss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/mred/private/wxtop.ss b/collects/mred/private/wxtop.ss
index 810917d7..80bcfcf1 100644
--- 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.