From cf9a6d50e2b1f8d73044dafb659c7f554658bb93 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 5 Oct 2014 21:56:23 -0500 Subject: [PATCH] don't hide the tooltip frame before moving it under linux --- pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt index 2db917e7af..b895b2970e 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt @@ -1298,7 +1298,8 @@ If the namespace does not, they are colored the unbound color. (match cursor-tooltip [(tooltip-spec strings x y w h) ;; hiding keeps it from flashing the new tooltip in the old location - (send tooltip-frame show #f) + ;; but this hiding does strange things under linux, so don't do it there + (unless (equal? (system-type) 'unix) (send tooltip-frame show #f)) (send tooltip-frame set-tooltip strings) (send tooltip-frame show-over x y w h)] ;; #f or 'out-of-sync