PR 10442
svn: r15966
This commit is contained in:
parent
c8c43bbe34
commit
53bf9d51c1
|
@ -885,8 +885,9 @@ profile todo:
|
||||||
(send frame get-interactions-text))])
|
(send frame get-interactions-text))])
|
||||||
(when frame
|
(when frame
|
||||||
(send frame show #t))
|
(send frame show #t))
|
||||||
(when (let ([wbv (weak-box-value (car edition-pair))])
|
(when (and edition-pair
|
||||||
(and wbv (eq? editor wbv)))
|
(let ([wbv (weak-box-value (car edition-pair))])
|
||||||
|
(and wbv (eq? editor wbv))))
|
||||||
(unless (= (cdr edition-pair) (send editor get-edition-number))
|
(unless (= (cdr edition-pair) (send editor get-edition-number))
|
||||||
(message-box (string-constant drscheme)
|
(message-box (string-constant drscheme)
|
||||||
(string-constant editor-changed-since-srcloc-recorded)
|
(string-constant editor-changed-since-srcloc-recorded)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user