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

Performance Report is enabled for all languages, so don't enable it for TR.

Browse Source 
Avoids duplicate buttons.

original commit: aaf7acb0347feb298670653af4373c9ff2dc7557
This commit is contained in:
Vincent St-Amour 2012-05-02 18:29:35 -04:00
parent c2a4fbc734
commit 3f2c9145fa
5 changed files with 0 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/lang/reader.rkt
View File

@ -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)]))

3
collects/typed/racket/base/lang/reader.rkt
View File

@ -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

3
collects/typed/racket/lang/reader.rkt
View File

@ -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

3
collects/typed/scheme/base/lang/reader.rkt
View File

@ -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

3
collects/typed/scheme/lang/reader.rkt
View File

@ -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