zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-20 02:47:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

Remove stray file

Browse Source
This commit is contained in:
Max Brunsfeld 2023-09-28 17:13:39 -07:00
parent 5a15692589
commit 837ec5a27c
1 changed files with 0 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
selection-color-notes.txt
View File

@ -1,14 +0,0 @@
Assign selection colors to users. goals:
* current user is always main color
* every other user has the same color in every context
* users don't need to be in a shared project to have a color. they can either be in the call, or in a channel notes.
Places colors are used:
* editor element, driven by the buffer's `remote_selections`
* pane border (access to more state)
* collab titlebar (access to more state)
Currently, editor holds an optional "replica id map".
Most challenging part is in the editor, because the editor should be fairly self-contained, not depend on e.g. the user store.