From d0ee91fc1db020d0430b4f5a8c3550ddc9255e79 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 20 Jun 2012 09:27:16 -0500 Subject: [PATCH] when moving the focus to the replace window, also select the text closes PR 12855 original commit: 8f892a2d3af2216311afa055bc312cd61efc5f71 --- collects/framework/private/frame.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/framework/private/frame.rkt b/collects/framework/private/frame.rkt index 0f0396f5..aa8cf8bd 100644 --- a/collects/framework/private/frame.rkt +++ b/collects/framework/private/frame.rkt @@ -2173,11 +2173,12 @@ [hidden? (unhide-search #f) (set-replace-visible? #t) - (send replace-edit set-position 0 (send find-edit last-position)) + (send replace-edit set-position 0 (send replace-edit last-position)) (send (send replace-edit get-canvas) focus)] [else (set-replace-visible? (not replace-visible?)) (when replace-visible? + (send replace-edit set-position 0 (send replace-edit last-position)) (send (send replace-edit get-canvas) focus))]) #t) (define/override (edit-menu:show/hide-replace-string)