From 3f2c9145fa4b64d9b733a1d5b1d96fe90812f57b Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 2 May 2012 18:29:35 -0400 Subject: [PATCH] Performance Report is enabled for all languages, so don't enable it for TR. Avoids duplicate buttons. original commit: aaf7acb0347feb298670653af4373c9ff2dc7557 --- 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 deletions(-) diff --git a/collects/typed-scheme/lang/reader.rkt b/collects/typed-scheme/lang/reader.rkt index 928ebc4c..876f259f 100644 --- a/collects/typed-scheme/lang/reader.rkt +++ b/collects/typed-scheme/lang/reader.rkt @@ -10,7 +10,4 @@ typed-scheme (define (make-info key default use-default) (case key - [(drscheme:toolbar-buttons) - (list (dynamic-require 'typed-racket/optimizer/tool/tool - 'performance-report-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 4205d073..849ff945 100644 --- a/collects/typed/racket/base/lang/reader.rkt +++ b/collects/typed/racket/base/lang/reader.rkt @@ -9,9 +9,6 @@ typed/racket/base (define (make-info key default use-default) (case key - [(drscheme:toolbar-buttons) - (list (dynamic-require 'typed-racket/optimizer/tool/tool - 'performance-report-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 456c2a63..257a2ae4 100644 --- a/collects/typed/racket/lang/reader.rkt +++ b/collects/typed/racket/lang/reader.rkt @@ -9,9 +9,6 @@ typed/racket (define (make-info key default use-default) (case key - [(drscheme:toolbar-buttons) - (list (dynamic-require 'typed-racket/optimizer/tool/tool - 'performance-report-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 02c0d1dc..6da86b0d 100644 --- a/collects/typed/scheme/base/lang/reader.rkt +++ b/collects/typed/scheme/base/lang/reader.rkt @@ -9,9 +9,6 @@ typed/scheme/base (define (make-info key default use-default) (case key - [(drscheme:toolbar-buttons) - (list (dynamic-require 'typed-racket/optimizer/tool/tool - 'performance-report-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 be96569b..2f51e90f 100644 --- a/collects/typed/scheme/lang/reader.rkt +++ b/collects/typed/scheme/lang/reader.rkt @@ -9,9 +9,6 @@ typed/scheme (define (make-info key default use-default) (case key - [(drscheme:toolbar-buttons) - (list (dynamic-require 'typed-racket/optimizer/tool/tool - 'performance-report-drracket-button))] [else (use-default key default)])) (define make-language-info