From 837ec5a27c69ebbb4bd3cf0feb956558ad5a2ce7 Mon Sep 17 00:00:00 2001 From: Max Brunsfeld Date: Thu, 28 Sep 2023 17:13:39 -0700 Subject: [PATCH] Remove stray file --- selection-color-notes.txt | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 selection-color-notes.txt diff --git a/selection-color-notes.txt b/selection-color-notes.txt deleted file mode 100644 index 6186adcac1aaba2bac7e397e3f71bcbba961d275..0000000000000000000000000000000000000000 --- a/selection-color-notes.txt +++ /dev/null @@ -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. -