From 1a7c9844ec69fc80fde173d435d500963e3bb400 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 12 Jul 2012 12:35:57 -0400 Subject: [PATCH] Disable Optimization Coach in the student languages. Also disables it for other language menu languages. --- collects/typed-racket/optimizer/tool/tool.rkt | 30 +++++++------------ 1 file changed, 11 insertions(+), 19 deletions(-) diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt index bbeab92485..ccb418b7e2 100644 --- a/collects/typed-racket/optimizer/tool/tool.rkt +++ b/collects/typed-racket/optimizer/tool/tool.rkt @@ -39,7 +39,17 @@ (import drracket:tool^) (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 highlights-mixin @@ -149,24 +159,6 @@ (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 (mixin (drracket:unit:tab<%>) () (super-new)