suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Disable Optimization Coach in the student languages.

Browse Source 
Also disables it for other language menu languages.
This commit is contained in:
Vincent St-Amour 2012-07-12 12:35:57 -04:00
parent fe26c07637
commit 1a7c9844ec
1 changed files with 11 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
collects/typed-racket/optimizer/tool/tool.rkt
View File

@ -39,7 +39,17 @@
(import drracket:tool^) (import drracket:tool^)
(export drracket:tool-exports^) (export drracket:tool-exports^)
(define (phase1) (void)) (define (phase1)
(drracket:module-language-tools:add-opt-out-toolbar-button
(lambda (frame parent)
(new switchable-button%
[label "Optimization Coach"]
[callback (lambda (btn)
(optimization-coach-callback frame))]
[parent parent]
[bitmap optimization-coach-bitmap]))
'optimization-coach
#:number 75))
(define (phase2) (void)) (define (phase2) (void))
(define highlights-mixin (define highlights-mixin
@ -149,24 +159,6 @@
(drracket:get/extend:extend-definitions-text highlights-mixin) (drracket:get/extend:extend-definitions-text highlights-mixin)
(define button-mixin
(mixin (drracket:unit:frame<%>) ()
(super-new)
(inherit get-button-panel register-toolbar-button)
(let ([btn
(new switchable-button%
[label "Optimization Coach"]
[callback (lambda (btn)
(optimization-coach-callback this))]
[parent (get-button-panel)]
[bitmap optimization-coach-bitmap])])
(register-toolbar-button btn)
(send (get-button-panel) change-children
(λ (l)
(cons btn (remq btn l)))))))
(drracket:get/extend:extend-unit-frame button-mixin)
(define toolbar-mixin (define toolbar-mixin
(mixin (drracket:unit:tab<%>) () (mixin (drracket:unit:tab<%>) ()
(super-new) (super-new)