From 9cc25592c3dd28bd338554f4548cc1cbd5f858ba Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 10 Mar 2015 19:57:57 -0400 Subject: [PATCH] =?UTF-8?q?Use=20`object-or-false=3D=3F`=20on=20snip=20adm?= =?UTF-8?q?ins.?= Fixes PR 15002. --- gui-lib/mred/private/wxme/text.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gui-lib/mred/private/wxme/text.rkt b/gui-lib/mred/private/wxme/text.rkt index 15040880..f658ee65 100644 --- a/gui-lib/mred/private/wxme/text.rkt +++ b/gui-lib/mred/private/wxme/text.rkt @@ -4283,10 +4283,10 @@ (set! flow-locked? fl?) (let ([snip - (if (not (eq? (snip->admin snip) a)) + (if (not (object-or-false=? (snip->admin snip) a)) ;; something went wrong (cond - [(and (not a) (eq? (snip->admin snip) orig-admin)) + [(and (not a) (object-or-false=? (snip->admin snip) orig-admin)) ;; force admin to NULL (send snip set-s-admin #f) snip]