mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-24 02:46:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 12
zed/crates/workspace/src
History
Antonio Scandurra f0b7bd6e17 Serialize initial follow state in leader and reflect it in follower
2022-03-18 10:22:13 +01:00
..
lsp_status.rs Rename app_state to global in gpui 2022-03-17 14:33:01 +01:00
menu.rs
pane.rs Serialize initial follow state in leader and reflect it in follower 2022-03-18 10:22:13 +01:00
pane_group.rs
settings.rs Start work on relaying settings to language servers 2022-03-11 17:36:27 -08:00
sidebar.rs Store settings as a global via a gpui app_state 2022-03-11 15:58:58 -08:00
status_bar.rs Rename app_state to global in gpui 2022-03-17 14:33:01 +01:00
workspace.rs Serialize initial follow state in leader and reflect it in follower 2022-03-18 10:22:13 +01:00