From 73065a3ba677ec65049a19db5071f0cb00c2794d Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@debian.local>
Date: Thu, 27 Aug 2015 20:49:13 -0600
Subject: [PATCH] fix propagation of 'deleted flag for low-level
 `editor-canvas%`

---
 gui-lib/mred/private/wxme/editor-canvas.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gui-lib/mred/private/wxme/editor-canvas.rkt b/gui-lib/mred/private/wxme/editor-canvas.rkt
index 0dab8ac9..3fe25345 100644
--- a/gui-lib/mred/private/wxme/editor-canvas.rkt
+++ b/gui-lib/mred/private/wxme/editor-canvas.rkt
@@ -221,7 +221,8 @@
                              (keep-style style 'control-border)
                              (keep-style style 'combo)
                              (keep-style style 'resize-corner)
-                             (keep-style style 'no-focus))
+                             (keep-style style 'no-focus)
+                             (keep-style style 'deleted))
                      name
                      gl-config)