From 3f31c7af359c6939bd24a3f6dc34b418b48e5e2a Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Thu, 19 Jul 2012 15:57:03 -0400
Subject: [PATCH] Only enable Optimization Coach button in Typed Racket.

Other languages can access it through the View menu.

Please merge to release.

original commit: 24b314a40ade5c576912eea416a68d78e09ca01b
---
 collects/typed-scheme/lang/reader.rkt      | 3 +++
 collects/typed/racket/base/lang/reader.rkt | 3 +++
 collects/typed/racket/lang/reader.rkt      | 3 +++
 collects/typed/scheme/base/lang/reader.rkt | 3 +++
 collects/typed/scheme/lang/reader.rkt      | 3 +++
 5 files changed, 15 insertions(+)

diff --git a/collects/typed-scheme/lang/reader.rkt b/collects/typed-scheme/lang/reader.rkt
index 876f259f..56eb2946 100644
--- a/collects/typed-scheme/lang/reader.rkt
+++ b/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)]))
diff --git a/collects/typed/racket/base/lang/reader.rkt b/collects/typed/racket/base/lang/reader.rkt
index 849ff945..053ed28d 100644
--- a/collects/typed/racket/base/lang/reader.rkt
+++ b/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
diff --git a/collects/typed/racket/lang/reader.rkt b/collects/typed/racket/lang/reader.rkt
index 257a2ae4..1252857c 100644
--- a/collects/typed/racket/lang/reader.rkt
+++ b/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
diff --git a/collects/typed/scheme/base/lang/reader.rkt b/collects/typed/scheme/base/lang/reader.rkt
index 6da86b0d..490d0faa 100644
--- a/collects/typed/scheme/base/lang/reader.rkt
+++ b/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
diff --git a/collects/typed/scheme/lang/reader.rkt b/collects/typed/scheme/lang/reader.rkt
index 2f51e90f..a909f9f0 100644
--- a/collects/typed/scheme/lang/reader.rkt
+++ b/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