From 7d0578fc3b0cd8fd119cf9eb51bedb167506c2a0 Mon Sep 17 00:00:00 2001 From: James Swaine Date: Wed, 10 Oct 2012 11:07:09 -0500 Subject: [PATCH] FV: Fix hover display "stickiness" --- collects/future-visualizer/private/visualizer-gui.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/future-visualizer/private/visualizer-gui.rkt b/collects/future-visualizer/private/visualizer-gui.rkt index 8a66dbb089..d6f2dc7634 100644 --- a/collects/future-visualizer/private/visualizer-gui.rkt +++ b/collects/future-visualizer/private/visualizer-gui.rkt @@ -178,7 +178,7 @@ [else (set! hover-seg seg) (post-event listener-table 'segment-hover timeline-panel seg) - seg])))] + (if (not seg) #t seg)])))] [click-handler (λ (x y vregion) (let ([seg (find-seg-for-coords x y timeline-mouse-index)]) (set! tacked-seg seg) @@ -222,7 +222,7 @@ (find-node-for-coords x y (graph-layout-nodes creation-tree-layout))) - hovered-graph-node]))] + (if (not hovered-graph-node) #t hovered-graph-node)]))] #;[click-handler (λ (x y vregion) (define fid (find-fid-for-coords x y (graph-layout-nodes creation-tree-layout)