Files
zed/crates/gpui/src
Antonio Scandurra 0e628e04cf Simplify usage of tooltip
Now you simply specify a text, an action and a style and GPUI will
take of rendering it properly. This is simpler compared to always
providing a custom element and should make tooltip more consistent
across the UI.
2022-06-02 09:12:50 +02:00
..
2022-06-02 09:12:50 +02:00
2022-06-02 09:12:50 +02:00
WIP
2022-05-26 09:59:25 +02:00
2022-04-13 17:31:10 +02:00