mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-06 18:46:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9
zed/crates/project_panel2/src
History
Julia 14066c4f0e Add icon_tooltip for panel buttons rather than using persistent name
2024-01-02 17:56:19 -05:00
..
file_associations.rs
project_panel.rs Add icon_tooltip for panel buttons rather than using persistent name 2024-01-02 17:56:19 -05:00
project_panel_settings.rs Use Pixels instead of f32 for panel size 2023-12-22 18:26:33 +01:00