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

Delete trailing whitespace.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-07-20 11:19:42 -04:00
parent f6feff3c51
commit 6af2e49db3
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
collects/typed-racket/optimizer/tool/tool.rkt
View File

@ -95,7 +95,7 @@
(define on? #f) (define on? #f)
(define/public (highlighting-shown?) on?) (define/public (highlighting-shown?) on?)
(define report-cache #f) (define report-cache #f)
(define/public (add-highlights #:use-cache? [use-cache? #f]) (define/public (add-highlights #:use-cache? [use-cache? #f])
(clear-highlights) (clear-highlights)
@ -123,7 +123,7 @@
(set! highlights '()) (set! highlights '())
(send (get-tab) hide-optimization-coach-panel) (send (get-tab) hide-optimization-coach-panel)
(set! on? #f)) (set! on? #f))
(define/augment (on-insert start len) (define/augment (on-insert start len)
(clear-highlights)) (clear-highlights))
(define/augment (on-delete start len) (define/augment (on-delete start len)
@ -206,13 +206,13 @@
(define tab-switch-mixin (define tab-switch-mixin
(mixin (drracket:unit:frame<%>) () (mixin (drracket:unit:frame<%>) ()
(inherit set-show-menu-sort-key get-current-tab) (inherit set-show-menu-sort-key get-current-tab)
(define/public (get-coach-menu-item) coach-menu-item) (define/public (get-coach-menu-item) coach-menu-item)
(define/override (add-show-menu-items show-menu) (define/override (add-show-menu-items show-menu)
(super add-show-menu-items show-menu) (super add-show-menu-items show-menu)
(set! coach-menu-item (set! coach-menu-item
(new menu-item% (new menu-item%
[label (string-constant show-optimization-coach)] [label (string-constant show-optimization-coach)]
[parent show-menu] [parent show-menu]
[demand-callback [demand-callback
@ -221,21 +221,21 @@
(if (get-field panel (get-current-tab)) (if (get-field panel (get-current-tab))
(string-constant hide-optimization-coach) (string-constant hide-optimization-coach)
(string-constant show-optimization-coach))))] (string-constant show-optimization-coach))))]
[callback [callback
(λ (a b) (λ (a b)
(define tab (get-current-tab)) (define tab (get-current-tab))
(if (get-field panel tab) (if (get-field panel tab)
(send (send tab get-defs) clear-highlights) (send (send tab get-defs) clear-highlights)
(optimization-coach-callback this)))])) (optimization-coach-callback this)))]))
(set-show-menu-sort-key coach-menu-item 403)) (set-show-menu-sort-key coach-menu-item 403))
(define/augment (on-tab-change old-tab new-tab) (define/augment (on-tab-change old-tab new-tab)
(send old-tab hide-optimization-coach-panel #f) ; don't close it (send old-tab hide-optimization-coach-panel #f) ; don't close it
(when (get-field panel new-tab) ; if it was open before (when (get-field panel new-tab) ; if it was open before
(send new-tab show-optimization-coach-panel))) (send new-tab show-optimization-coach-panel)))
(define coach-menu-item #f) (define coach-menu-item #f)
(super-new))) (super-new)))
(drracket:get/extend:extend-unit-frame tab-switch-mixin)) (drracket:get/extend:extend-unit-frame tab-switch-mixin))