zed/crates/theme
Antonio Scandurra cc028cca78 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
..
src Simplify usage of tooltip 2022-06-02 09:12:50 +02:00
Cargo.toml Cap MessageStream buffer size to 1MB 2022-05-31 11:16:32 +02:00