Fix minor display issue in event details panel (future visualizer)

2012-07-19 16:13:00 -05:00 · 2012-07-19 16:13:00 -05:00 · ee426f7ecb
commit ee426f7ecb
parent b6c4bece11
1 changed files with 2 additions and 1 deletions
--- 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 "")