From dce2d2529e6754fddc5a7179fafd5bee2ab260f4 Mon Sep 17 00:00:00 2001 From: Kathy Gray Date: Tue, 18 Nov 2008 18:58:22 +0000 Subject: [PATCH] Make coverage buttons uneditable. svn: r12496 --- collects/test-engine/test-coverage.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/test-engine/test-coverage.scm b/collects/test-engine/test-coverage.scm index 72ef1aa740..40e165e8b6 100644 --- a/collects/test-engine/test-coverage.scm +++ b/collects/test-engine/test-coverage.scm @@ -108,6 +108,7 @@ (send coverage display-coverage src-editor))] [else (lambda (t s e) (void))]) #f #f) + (send button-editor lock #t) (let ([c (new style-delta%)]) (send c set-delta-foreground "royalblue") (send dest change-style c start (sub1 (send dest get-end-position))