From 7223a42ec33ae0003ab629d4393ae4a7c8f6f55b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 4 Jun 2006 23:04:03 +0000 Subject: [PATCH] fixed PR 7977 svn: r3225 --- collects/drscheme/private/debug.ss | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/collects/drscheme/private/debug.ss b/collects/drscheme/private/debug.ss index ae777f50f3..a0f50b2458 100644 --- a/collects/drscheme/private/debug.ss +++ b/collects/drscheme/private/debug.ss @@ -700,7 +700,7 @@ profile todo: set-test-coverage-info get-test-coverage-info)) - (define test-coverage-frame<%> + (define test-coverage-tab<%> (interface () show-test-coverage-annotations ;; hash-table (union #f style) (union #f style) boolean -> void get-test-coverage-info-visible? @@ -724,7 +724,7 @@ profile todo: (inherit get-top-level-window) (define/augment (after-many-evals) (when test-coverage-info - (send (get-context) show-test-coverage-annotations + (send (get-context) show-test-coverage-annotations test-coverage-info test-coverage-on-style test-coverage-off-style @@ -757,7 +757,7 @@ profile todo: #t])) #t)) - (define/private (clear-test-coverage) + (define/public (clear-test-coverage) (let ([tab (get-tab)]) (when (send tab get-test-coverage-info-visible?) (send tab clear-test-coverage-display) @@ -798,7 +798,7 @@ profile todo: (define erase-test-coverage-style-delta (make-object style-delta% 'change-normal-color)) (define test-coverage-tab-mixin - (mixin (drscheme:rep:context<%>) (test-coverage-frame<%>) + (mixin (drscheme:rep:context<%> drscheme:unit:tab<%>) (test-coverage-tab<%>) (field [internal-clear-test-coverage-display #f]) @@ -969,9 +969,10 @@ profile todo: (when locked? (send txt lock #t))) (send txt end-edit-sequence))))))))) + (inherit get-defs) (define/augment (clear-annotations) (inner (void) clear-annotations) - (clear-test-coverage-display)) + (send (get-defs) clear-test-coverage)) (super-new)))