From d9f97d079f9d1721345b9a8643a1ca6de7c2e7bc Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 25 Jul 2012 11:41:12 -0400 Subject: [PATCH] Refactoring. --- collects/typed-racket/optimizer/tool/tool.rkt | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt index 89efc827bc..6d95636553 100644 --- a/collects/typed-racket/optimizer/tool/tool.rkt +++ b/collects/typed-racket/optimizer/tool/tool.rkt @@ -216,9 +216,10 @@ (inherit set-show-menu-sort-key get-current-tab get-definitions-text get-interactions-text) + + ;; view menu (define/public (get-optimization-coach-menu-item) optimization-coach-menu-item) - (define/override (add-show-menu-items show-menu) (super add-show-menu-items show-menu) (set! optimization-coach-menu-item @@ -239,13 +240,6 @@ (send (send tab get-defs) clear-highlights) (optimization-coach-callback this)))])) (set-show-menu-sort-key optimization-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 (send new-tab optimization-coach-visible?) - ;; if it was open before - (send new-tab show-optimization-coach-panel))) - (define optimization-coach-menu-item #f) @@ -259,6 +253,15 @@ menu pos text)) (old menu editor event)))) + + ;; tab switching + (define/augment (on-tab-change old-tab new-tab) + (send old-tab hide-optimization-coach-panel #f) ; don't close it + (when (send new-tab optimization-coach-visible?) + ;; if it was open before + (send new-tab show-optimization-coach-panel))) + + ;; entry point (define/public (optimization-coach-callback) (define definitions (get-definitions-text))