Fix PR#9526
svn: r10380
This commit is contained in:
parent
89c5ff2f18
commit
1ff835d4b3
|
@ -748,7 +748,8 @@
|
||||||
#f)))))))
|
#f)))))))
|
||||||
|
|
||||||
(define (get-defn-editor port-name)
|
(define (get-defn-editor port-name)
|
||||||
(let* ([dr-frame (send (drscheme:rep:current-rep) get-top-level-window)]
|
(let* ([dr-frame (and (drscheme:rep:current-rep)
|
||||||
|
(send (drscheme:rep:current-rep) get-top-level-window))]
|
||||||
[tabs (and dr-frame (send dr-frame get-tabs))]
|
[tabs (and dr-frame (send dr-frame get-tabs))]
|
||||||
[defs (if dr-frame
|
[defs (if dr-frame
|
||||||
(map (lambda (t) (send t get-defs)) tabs)
|
(map (lambda (t) (send t get-defs)) tabs)
|
||||||
|
@ -757,9 +758,7 @@
|
||||||
(and (is-a? d drscheme:unit:definitions-text<%>)
|
(and (is-a? d drscheme:unit:definitions-text<%>)
|
||||||
(send d port-name-matches? port-name)))
|
(send d port-name-matches? port-name)))
|
||||||
defs)])
|
defs)])
|
||||||
(and dr-frame
|
(and dr-frame (= 1 (length def)) (car def))))
|
||||||
(= 1 (length def))
|
|
||||||
(car def))))
|
|
||||||
|
|
||||||
;process-extras: (list struct) type-record -> (list syntax)
|
;process-extras: (list struct) type-record -> (list syntax)
|
||||||
(define/private (process-extras extras type-recs)
|
(define/private (process-extras extras type-recs)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user