From 34ae8d15bf7399817f85b6de750ff20809d7e02b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 18 Apr 2011 10:31:19 -0500 Subject: [PATCH] make the close icon clicky thingy not grab the focus closes PR 10380 (cherry picked from commit 100b4d31f12d9e90e0fcec73abb68e2cd89b8920) --- collects/mrlib/close-icon.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mrlib/close-icon.rkt b/collects/mrlib/close-icon.rkt index cde9e95fbc..039bd253b8 100644 --- a/collects/mrlib/close-icon.rkt +++ b/collects/mrlib/close-icon.rkt @@ -113,7 +113,7 @@ [else mask1]))))) - (super-new [style '(transparent)]) + (super-new [style '(transparent no-focus)]) (min-width (+ horizontal-pad horizontal-pad (send icon get-width))) (min-height (+ vertical-pad vertical-pad (send icon get-height))) (stretchable-width #f)