Speed up Performance Report on unsaved files.
This commit is contained in:
parent
191f7a5f17
commit
0ff3aafed6
|
@ -49,14 +49,14 @@
|
|||
#t]
|
||||
[good-portname-cache ; cache is populated, but we have the wrong file
|
||||
#f]
|
||||
;; no cache, ask directly
|
||||
[(send this port-name-matches? path)
|
||||
(set! good-portname-cache path) ; populate cache
|
||||
#t]
|
||||
[unsaved-file?
|
||||
;; we assume that any log entry without a filename comes from
|
||||
;; the unsaved editor
|
||||
(not path)]
|
||||
;; no cache, ask directly
|
||||
[(send this port-name-matches? path)
|
||||
(set! good-portname-cache path) ; populate cache
|
||||
#t]
|
||||
[else ; different file
|
||||
#f]))
|
||||
(define sandbox
|
||||
|
|
Loading…
Reference in New Issue
Block a user