From feaff67418d4770ac21d750f80730072f1faef86 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 24 Jul 2016 03:40:41 -0500 Subject: [PATCH] fix bug in searching (start from the correct editor) --- gui-lib/framework/private/frame.rkt | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/gui-lib/framework/private/frame.rkt b/gui-lib/framework/private/frame.rkt index 98153732..55c232d3 100644 --- a/gui-lib/framework/private/frame.rkt +++ b/gui-lib/framework/private/frame.rkt @@ -2053,10 +2053,13 @@ (let* ([string (get-text)] [top-searching-edit (get-searching-text)]) (when top-searching-edit - (let ([searching-edit (let ([focus-snip (send top-searching-edit get-focus-snip)]) - (if (and focus-snip (is-a? focus-snip editor-snip%)) - (send focus-snip get-editor) - top-searching-edit))] + (let ([searching-edit + (let loop ([txt top-searching-edit]) + (define focus-snip (send txt get-focus-snip)) + (cond + [(and focus-snip (is-a? focus-snip editor-snip%)) + (loop (send focus-snip get-editor))] + [else txt]))] [not-found (λ (found-edit skip-beep?)