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