From 835762903c1dc68796ee7ba8a357b55c4797a92c Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 17 Jun 2011 11:13:11 +0800 Subject: [PATCH] if we're highlighting something in the defs window, make sure the window is shown closes PR 11977 --- collects/drracket/private/rep.rkt | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/collects/drracket/private/rep.rkt b/collects/drracket/private/rep.rkt index cbceb315e3..a54777c282 100644 --- a/collects/drracket/private/rep.rkt +++ b/collects/drracket/private/rep.rkt @@ -751,6 +751,14 @@ TODO (for-each (λ (loc) (send (srcloc-source loc) end-edit-sequence)) locs) (when first-loc + + (when (eq? first-file definitions-text) + ;; when we're highlighting something in the defs window, + ;; make sure it is visible + (let ([tlw (send first-file get-top-level-window)]) + (when (is-a? tlw drracket:unit:frame<%>) + (send tlw ensure-defs-shown)))) + (send first-file set-caret-owner (get-focus-snip) 'global))))) (define highlights-can-be-reset (make-parameter #t))