mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-12 05:15:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8
zed/crates
History
Antonio Scandurra a154e4500b Implement Workspace::unfollow 
This also changes the structure of the follow state back to be per-pane. This
is because we can't share the same view state across different panes for
a couple of reasons:

- Rendering the same view in N different panes is almost always not something
that we want due to global state such as focus.
- If we allowed it and a user followed the same person in two different panes,
there would be no way of unfollowing in one pane without also unfollowing in
the other.
2022-03-21 16:55:18 +01:00
..
chat_panel Rename app_state to global in gpui 2022-03-17 14:33:01 +01:00
client 🎨 client 2022-03-18 13:03:43 -07:00
clock Put vector clock serialization logic alongside other serialization logic 2022-03-04 13:54:07 -08:00
collections Disable doctests for all libraries 2022-03-03 16:15:56 -08:00
contacts_panel Rename app_state to global in gpui 2022-03-17 14:33:01 +01:00
diagnostics Always read project entry id from workspace::Item 2022-03-17 10:58:20 -07:00
editor Hide cursor both locally and remotely when following 2022-03-21 15:16:56 +01:00
file_finder Introduce workspace::register_project_item 2022-03-17 15:54:34 +01:00
fsevent Disable doctests for all libraries 2022-03-03 16:15:56 -08:00
fuzzy Disable doctests for all libraries 2022-03-03 16:15:56 -08:00
go_to_line Rename app_state to global in gpui 2022-03-17 14:33:01 +01:00
gpui Implement Workspace::unfollow 2022-03-21 16:55:18 +01:00
gpui_macros Disable doctests for all libraries 2022-03-03 16:15:56 -08:00
journal Disable doctests for all libraries 2022-03-03 16:15:56 -08:00
language Start work on updating editors's scroll positions when following 2022-03-18 12:56:20 -07:00
lsp Start work on relaying settings to language servers 2022-03-11 17:36:27 -08:00
outline Rename app_state to global in gpui 2022-03-17 14:33:01 +01:00
project Serialize initial follow state in leader and reflect it in follower 2022-03-18 10:22:13 +01:00
project_panel Rename app_state to global in gpui 2022-03-17 14:33:01 +01:00
project_symbols Remove Editor::find_or_create 2022-03-17 15:13:47 +01:00
rpc Start work on updating editors's scroll positions when following 2022-03-18 12:56:20 -07:00
search Always read project entry id from workspace::Item 2022-03-17 10:58:20 -07:00
server Implement Workspace::unfollow 2022-03-21 16:55:18 +01:00
snippet Add a snippet unit test with an escaped curly brace 2022-03-11 13:02:20 -08:00
sum_tree Don't seek FilterCursor upon creation 2022-03-15 15:13:23 +01:00
text Serialize initial follow state in leader and reflect it in follower 2022-03-18 10:22:13 +01:00
theme Fade out unnecessary code 2022-03-15 15:51:59 +01:00
theme_selector Rename app_state to global in gpui 2022-03-17 14:33:01 +01:00
util Make timer method available on both foreground and background executors 2022-03-04 13:54:07 -08:00
workspace Implement Workspace::unfollow 2022-03-21 16:55:18 +01:00
zed WIP 2022-03-17 17:53:49 -07:00