PR 10385
svn: r15677
This commit is contained in:
parent
8bee13c680
commit
7c62f8caa0
|
@ -1249,7 +1249,9 @@ module browser threading seems wrong.
|
||||||
(when (is-current-tab?)
|
(when (is-current-tab?)
|
||||||
(send frame show/hide-warning-message
|
(send frame show/hide-warning-message
|
||||||
(get-current-execute-warning)
|
(get-current-execute-warning)
|
||||||
(λ () (clear-execution-state)))))
|
(λ ()
|
||||||
|
;; this callback might be run with a different tab ...
|
||||||
|
(send (send frame get-current-tab) clear-execution-state)))))
|
||||||
|
|
||||||
(define/public (get-directory)
|
(define/public (get-directory)
|
||||||
(let ([filename (send defs get-filename)])
|
(let ([filename (send defs get-filename)])
|
||||||
|
@ -1397,8 +1399,7 @@ module browser threading seems wrong.
|
||||||
register-toolbar-button
|
register-toolbar-button
|
||||||
get-tabs))
|
get-tabs))
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
(define frame-mixin
|
(define frame-mixin
|
||||||
(mixin (drscheme:frame:<%> frame:searchable-text<%> frame:delegate<%> frame:open-here<%>)
|
(mixin (drscheme:frame:<%> frame:searchable-text<%> frame:delegate<%> frame:open-here<%>)
|
||||||
(-frame<%>)
|
(-frame<%>)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user