Make coverage buttons uneditable.

svn: r12496
2008-11-18 18:58:22 +00:00 · 2008-11-18 18:58:22 +00:00 · dce2d2529e
commit dce2d2529e
parent 9e7a4e9e1d
1 changed files with 1 additions and 0 deletions
--- 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))