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
This commit is contained in:
parent
052dbb32d1
commit
53c6658e43
|
@ -1058,9 +1058,9 @@
|
||||||
(define/private (update-bottom-bar)
|
(define/private (update-bottom-bar)
|
||||||
(cond
|
(cond
|
||||||
[(running? running-status)
|
[(running? running-status)
|
||||||
(set-bottom-bar-status/pending)]
|
(set-bottom-bar-status/blank)]
|
||||||
[(and (dirty? running-status) our-turn?)
|
[(and (dirty? running-status) our-turn?)
|
||||||
(set-bottom-bar-status/pending)]
|
(set-bottom-bar-status/blank)]
|
||||||
[(and (dirty? running-status) (not our-turn?))
|
[(and (dirty? running-status) (not our-turn?))
|
||||||
(send (get-defs) set-bottom-bar-status (list (exn-info "" '() '() #f)) #f #f)]
|
(send (get-defs) set-bottom-bar-status (list (exn-info "" '() '() #f)) #f #f)]
|
||||||
[(clean? running-status)
|
[(clean? running-status)
|
||||||
|
@ -1068,20 +1068,11 @@
|
||||||
(send (get-defs) set-bottom-bar-status
|
(send (get-defs) set-bottom-bar-status
|
||||||
(clean-error-messages+locs running-status)
|
(clean-error-messages+locs running-status)
|
||||||
#t #t)
|
#t #t)
|
||||||
(send (get-defs) set-bottom-bar-status
|
(set-bottom-bar-status/blank))]))
|
||||||
(list (exn-info (string-constant online-expansion-finished)
|
|
||||||
'()
|
|
||||||
'()
|
|
||||||
#f))
|
|
||||||
#f
|
|
||||||
#f))]))
|
|
||||||
|
|
||||||
(define/private (set-bottom-bar-status/pending)
|
(define/private (set-bottom-bar-status/blank)
|
||||||
(send (get-defs) set-bottom-bar-status
|
(send (get-defs) set-bottom-bar-status
|
||||||
(list (exn-info (string-constant online-expansion-pending)
|
(list (exn-info "" '() '() #f))
|
||||||
'()
|
|
||||||
'()
|
|
||||||
#f))
|
|
||||||
#f
|
#f
|
||||||
#f))
|
#f))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user