From a8a6875cd6beb135d22b969a20a0fbb24df8a5d0 Mon Sep 17 00:00:00 2001 From: James Swaine Date: Thu, 19 Jul 2012 16:13:00 -0500 Subject: [PATCH] Fix minor display issue in event details panel (future visualizer) (cherry picked from commit ee426f7ecb762c8ac519bb1c8290391c28955a1e) --- collects/future-visualizer/private/visualizer-gui.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/future-visualizer/private/visualizer-gui.rkt b/collects/future-visualizer/private/visualizer-gui.rkt index 3244cb303d..5ac8f0039b 100644 --- a/collects/future-visualizer/private/visualizer-gui.rkt +++ b/collects/future-visualizer/private/visualizer-gui.rkt @@ -70,7 +70,8 @@ [(touch) (send data-label1 set-label (format "Touching future ~a" (event-user-data evt)))] [else - (send data-label1 set-label "")])) + (send data-label1 set-label "") + (send data-label2 set-label "")])) (begin (send selected-label set-label "") (send time-label set-label "")