Marshall Bowers
90d7033fd0
Pass KeyBindings to TextTooltips
2023-11-14 13:36:03 -05:00
Nate Butler
251b4640c6
Extend tooltip to take meta + kb
2023-11-14 12:59:53 -05:00
Antonio Scandurra
f9b9b7549f
Render block elements
...
Co-Authored-By: Julia <julia@zed.dev>
2023-11-14 16:03:06 +01:00
Nate Butler
dd434588ee
WIP
2023-11-13 17:38:44 -05:00
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
