From 1975f596b6ce542f2efae2f09fe52d747723a8b0 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 20 Jul 2012 11:19:42 -0400 Subject: [PATCH] Delete trailing whitespace. (cherry picked from commit 6af2e49db3ae4ae53d564e21a731a829895a4add) --- collects/typed-racket/optimizer/tool/tool.rkt | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt index dfb1a242d0..740d1896c1 100644 --- a/collects/typed-racket/optimizer/tool/tool.rkt +++ b/collects/typed-racket/optimizer/tool/tool.rkt @@ -95,7 +95,7 @@ (define on? #f) (define/public (highlighting-shown?) on?) - + (define report-cache #f) (define/public (add-highlights #:use-cache? [use-cache? #f]) (clear-highlights) @@ -123,7 +123,7 @@ (set! highlights '()) (send (get-tab) hide-optimization-coach-panel) (set! on? #f)) - + (define/augment (on-insert start len) (clear-highlights)) (define/augment (on-delete start len) @@ -206,13 +206,13 @@ (define tab-switch-mixin (mixin (drracket:unit:frame<%>) () (inherit set-show-menu-sort-key get-current-tab) - + (define/public (get-coach-menu-item) coach-menu-item) - + (define/override (add-show-menu-items show-menu) (super add-show-menu-items show-menu) (set! coach-menu-item - (new menu-item% + (new menu-item% [label (string-constant show-optimization-coach)] [parent show-menu] [demand-callback @@ -221,21 +221,21 @@ (if (get-field panel (get-current-tab)) (string-constant hide-optimization-coach) (string-constant show-optimization-coach))))] - [callback + [callback (λ (a b) (define tab (get-current-tab)) (if (get-field panel tab) (send (send tab get-defs) clear-highlights) (optimization-coach-callback this)))])) (set-show-menu-sort-key coach-menu-item 403)) - + (define/augment (on-tab-change old-tab new-tab) (send old-tab hide-optimization-coach-panel #f) ; don't close it (when (get-field panel new-tab) ; if it was open before (send new-tab show-optimization-coach-panel))) - + (define coach-menu-item #f) - + (super-new))) (drracket:get/extend:extend-unit-frame tab-switch-mixin))