From d3cab0a2caf8b138f1d121010a13c9bcb312f9e1 Mon Sep 17 00:00:00 2001 From: Kathy Gray Date: Mon, 23 Aug 2010 14:37:43 +0100 Subject: [PATCH] Refocus window on clicking the error source. --- collects/test-engine/test-display.scm | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/collects/test-engine/test-display.scm b/collects/test-engine/test-display.scm index dd942a302a..4b2cdd1273 100644 --- a/collects/test-engine/test-display.scm +++ b/collects/test-engine/test-display.scm @@ -423,8 +423,16 @@ (list (make-srcloc src-editor line column - position span)) #f)))) - (queue-callback highlight))]))) + position span)) #f) + (let ([frame (send current-tab get-frame)]) + (unless (send current-tab is-current-tab?) + (let loop ([tabs (send frame get-tabs)] [i 0]) + (unless (null? tabs) + (if (eq? (car tabs) current-tab) + (send frame change-to-nth-tab i) + (loop (cdr tabs) (add1 i)))))) + (send frame show #t))))) + (queue-callback highlight))]))) (define (highlight-check-error srcloc src-editor) (let* ([src-pos cadddr]