From 53c6658e43951f31e30ece512b37f0e8859e23a2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 9 Nov 2013 20:15:08 -0600 Subject: [PATCH] get rid of the 'pending' and 'finished' online expansion messages the information is still there in the color of the little dot in the corner but hopefully this will be less distracting closes PR 14114 --- .../drracket/private/module-language.rkt | 19 +++++-------------- 1 file changed, 5 insertions(+), 14 deletions(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/module-language.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/module-language.rkt index c87accbae3..c20512a81f 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/module-language.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/module-language.rkt @@ -1058,9 +1058,9 @@ (define/private (update-bottom-bar) (cond [(running? running-status) - (set-bottom-bar-status/pending)] + (set-bottom-bar-status/blank)] [(and (dirty? running-status) our-turn?) - (set-bottom-bar-status/pending)] + (set-bottom-bar-status/blank)] [(and (dirty? running-status) (not our-turn?)) (send (get-defs) set-bottom-bar-status (list (exn-info "" '() '() #f)) #f #f)] [(clean? running-status) @@ -1068,20 +1068,11 @@ (send (get-defs) set-bottom-bar-status (clean-error-messages+locs running-status) #t #t) - (send (get-defs) set-bottom-bar-status - (list (exn-info (string-constant online-expansion-finished) - '() - '() - #f)) - #f - #f))])) + (set-bottom-bar-status/blank))])) - (define/private (set-bottom-bar-status/pending) + (define/private (set-bottom-bar-status/blank) (send (get-defs) set-bottom-bar-status - (list (exn-info (string-constant online-expansion-pending) - '() - '() - #f)) + (list (exn-info "" '() '() #f)) #f #f))