make insert-warning public, work when the interactions are locked

svn: r10504
This commit is contained in:
Eli Barzilay 2008-06-29 20:00:04 +00:00
parent 44c5a75739
commit 443a6fe233

View File

@ -893,14 +893,17 @@ TODO
(ask-about-kill? #f)) (ask-about-kill? #f))
(define/public (get-in-evaluation?) in-evaluation?) (define/public (get-in-evaluation?) in-evaluation?)
(define/private (insert-warning message) (define/public-final (insert-warning message)
(begin-edit-sequence) (let ([locked? (is-locked?)])
(let ([start (get-insertion-point)]) (when locked? (lock #f))
(insert-before message) (begin-edit-sequence)
(let ([end (get-insertion-point)]) (let ([start (get-insertion-point)])
(change-style warning-style-delta start end))) (insert-before message)
(insert-before "\n") (let ([end (get-insertion-point)])
(end-edit-sequence)) (change-style warning-style-delta start end)))
(insert-before "\n")
(end-edit-sequence)
(when locked? (lock #t))))
(field (already-warned? #f) (field (already-warned? #f)
(show-no-user-evaluation-message? #t)) (show-no-user-evaluation-message? #t))