diff --git a/collects/typed/racket/base/lang/reader.rkt b/collects/typed/racket/base/lang/reader.rkt index 849ff945..4205d073 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 + '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 6da86b0d..02c0d1dc 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 + 'performance-report-drracket-button))] [else (use-default key default)])) (define make-language-info