6 commits

Author	SHA1	Message	Date
Nate Butler	e505fb330c	WIP	2023-11-08 16:43:32 -05:00
Conrad Irwin	496518f3e8	Use gpui instead of gpui2 consistenytly	2023-11-06 11:50:33 -07:00
Conrad Irwin	de5458cfe0	Update tooltip code a bit ... This fixes a tiny UX bug where the tooltip would appear to move if you hovered over an element, then moved your mouse out and back within 500ms. The fix is to retain the task, so we can drop it to cancel it when the mouse leaves. Also changes the time we construct the tooltip to the time it first shows.	2023-11-03 21:40:28 -06:00
Julia	4725cd2cd6	Move more tooltip logic into gpui2 & fix tooltip moving on paint ... Co-Authored-By: Conrad Irwin <conrad@zed.dev>	2023-11-03 18:37:15 -04:00
Julia	3834e26f71	Tooltips in mouse event handler & fix executor timer ... Co-Authored-By: Conrad Irwin <conrad@zed.dev>	2023-11-03 18:02:58 -04:00
Conrad Irwin	33245d119e	Tooltip on tabs ... Co-Authored-By: Julia <julia@zed.dev>	2023-11-03 14:02:46 -06:00