From 00d4fef044abbdd74c2efe051ee9af96da87c7e5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 14 Apr 2009 23:08:51 +0000 Subject: [PATCH] under Windows, editor-canvas% needs to set its own focus on mouse clicks svn: r14516 original commit: 8001b11c03cee29dc3e8518bd8f85b3164b5e848 --- collects/mred/private/wxme/editor-canvas.ss | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/collects/mred/private/wxme/editor-canvas.ss b/collects/mred/private/wxme/editor-canvas.ss index 17c4eb33..7dab3fd1 100644 --- a/collects/mred/private/wxme/editor-canvas.ss +++ b/collects/mred/private/wxme/editor-canvas.ss @@ -152,7 +152,8 @@ get-scroll-page set-scroll-page get-scroll-range set-scroll-range is-shown-to-root? - show-scrollbars) + show-scrollbars + set-focus) (define blink-timer #f) (define noloop? #f) @@ -373,6 +374,12 @@ [y (send event get-y)]) (set! last-x x) (set! last-y y) + + (when (and (eq? 'windows (system-type)) + (not focuson?) + (send event button-down?)) + (set-focus) + (on-focus #t)) (when (and media (not (send media get-printing)))