Only enable Optimization Coach button in Typed Racket.

Other languages can access it through the View menu.

Please merge to release.
(cherry picked from commit 24b314a40a)

collects/typed-racket/optimizer/tool/tool.rkt

@@ -8,7 +8,7 @@
 
 (require "report.rkt" "display.rkt")
 
-(provide tool@)
+(provide tool@ optimization-coach-drracket-button)
 
 ;; DrRacket tool for reporting missed optimizations in the editor.
 
@@ -36,22 +36,18 @@
 
 (define-local-member-name get-coach-menu-item)
 
+(define optimization-coach-drracket-button
+  (list
+   "Optimization Coach"
+   optimization-coach-bitmap
+   optimization-coach-callback))
+
 (define-unit tool@
 
   (import drracket:tool^)
   (export drracket:tool-exports^)
 
-  (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 (phase1) (void))
   (define (phase2) (void))
 
   (define highlights-mixin

collects/typed-scheme/lang/reader.rkt

@@ -10,4 +10,7 @@ typed-scheme
 
 (define (make-info key default use-default)
   (case key
+    [(drscheme:toolbar-buttons)
+     (list (dynamic-require 'typed-racket/optimizer/tool/tool
+                            'optimization-coach-drracket-button))]
     [else (use-default key default)]))

collects/typed/racket/base/lang/reader.rkt

@@ -9,6 +9,9 @@ typed/racket/base
 
 (define (make-info key default use-default)
   (case key
+    [(drscheme:toolbar-buttons)
+     (list (dynamic-require 'typed-racket/optimizer/tool/tool
+                            'optimization-coach-drracket-button))]
     [else (use-default key default)]))
 
 (define make-language-info

collects/typed/racket/lang/reader.rkt

@@ -9,6 +9,9 @@ typed/racket
 
 (define (make-info key default use-default)
   (case key
+    [(drscheme:toolbar-buttons)
+     (list (dynamic-require 'typed-racket/optimizer/tool/tool
+                            'optimization-coach-drracket-button))]
     [else (use-default key default)]))
 
 (define make-language-info

collects/typed/scheme/base/lang/reader.rkt

@@ -9,6 +9,9 @@ typed/scheme/base
 
 (define (make-info key default use-default)
   (case key
+    [(drscheme:toolbar-buttons)
+     (list (dynamic-require 'typed-racket/optimizer/tool/tool
+                            'optimization-coach-drracket-button))]
     [else (use-default key default)]))
 
 (define make-language-info

collects/typed/scheme/lang/reader.rkt

@@ -9,6 +9,9 @@ typed/scheme
 
 (define (make-info key default use-default)
   (case key
+    [(drscheme:toolbar-buttons)
+     (list (dynamic-require 'typed-racket/optimizer/tool/tool
+                            'optimization-coach-drracket-button))]
     [else (use-default key default)]))
 
 (define make-language-info