From 93334db6f545683a612553ce3775781e63c8ee8f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 4 Aug 2008 19:14:00 +0000 Subject: [PATCH] improved status line for deletes so that it actually closes without closing the contour window svn: r11070 --- collects/framework/private/frame.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/framework/private/frame.ss b/collects/framework/private/frame.ss index 431af2fe04..84ee73f14f 100644 --- a/collects/framework/private/frame.ss +++ b/collects/framework/private/frame.ss @@ -1435,6 +1435,8 @@ (send text find-position editor-x editor-y)))] [(or (send evt entering?) (send evt moving?)) + (when (send evt entering?) + (send delegate-frame open-status-line 'plt:delegate)) (let-values ([(editor-x editor-y) (send text dc-location-to-editor-location (send evt get-x) @@ -1451,7 +1453,8 @@ [else (send delegate-frame update-status-line 'plt:delegate #f)])))] [(send evt leaving?) - (send delegate-frame update-status-line 'plt:delegate #f)]))))) + (send delegate-frame update-status-line 'plt:delegate #f) + (send delegate-frame close-status-line 'plt:delegate)]))))) (super-new))) (define (at-most-200 s) @@ -1607,13 +1610,11 @@ (inherit close-status-line open-status-line) (define/public (hide-delegated-text) - (close-status-line 'plt:delegate) (set! shown? #f) (send (get-delegated-text) set-delegate #f) (send super-root change-children (λ (l) (list rest-panel)))) (define/public (show-delegated-text) - (open-status-line 'plt:delegate) (set! shown? #t) (send (get-delegated-text) set-delegate delegatee) (send super-root change-children @@ -1658,7 +1659,6 @@ (inherit get-editor) (if (preferences:get 'framework:show-delegate?) (begin - (open-status-line 'plt:delegate) (send (get-delegated-text) set-delegate delegatee) (send super-root change-children (λ (l) (list rest-panel delegate-ec))))