parent
4351c01038
commit
4c889bc0bc
|
@ -198,7 +198,7 @@
|
||||||
;; redraw
|
;; redraw
|
||||||
(send definitions add-highlights #:use-cache? #t))]
|
(send definitions add-highlights #:use-cache? #t))]
|
||||||
[value (memq f filters)]))
|
[value (memq f filters)]))
|
||||||
panel) ; return panel, so that the other mixing can hide it
|
panel) ; return panel, so that the other mixin can hide it
|
||||||
|
|
||||||
(define/public (hide-optimization-coach-panel [close #t])
|
(define/public (hide-optimization-coach-panel [close #t])
|
||||||
(when panel
|
(when panel
|
||||||
|
|
Loading…
Reference in New Issue
Block a user