suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

don't hide the tooltip frame before moving it under linux

Browse Source
This commit is contained in:
Robby Findler 2014-10-05 21:56:23 -05:00
parent 53aeb85759
commit cf9a6d50e2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/drracket-pkgs/drracket/drracket/private/syncheck/gui.rkt
View File

@ -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