Fix tab leak.
This commit is contained in:
parent
144fd5bf05
commit
f50d64b3b2
|
@ -190,10 +190,11 @@
|
||||||
(keymap:add-to-right-button-menu
|
(keymap:add-to-right-button-menu
|
||||||
(let ([old (keymap:add-to-right-button-menu)])
|
(let ([old (keymap:add-to-right-button-menu)])
|
||||||
(lambda (menu editor event)
|
(lambda (menu editor event)
|
||||||
(define definitions (get-definitions-text))
|
(let-values ([(pos text) (send editor get-pos/text event)])
|
||||||
(let-values ([(pos text) (send definitions get-pos/text event)])
|
(when (is-a? editor drracket:unit:definitions-text<%>)
|
||||||
(send definitions build-optimization-coach-popup-menu
|
;; has the optimization-coach mixin
|
||||||
menu pos text))
|
(send editor build-optimization-coach-popup-menu
|
||||||
|
menu pos text)))
|
||||||
(old menu editor event))))
|
(old menu editor event))))
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user