Rename editor::Event::Edited
to editor::Event::BufferEdited
This is to distinguish it from a new event we're about to add which represent edits originating from that specific editor.
This commit is contained in:
parent
864bede8a2
commit
a739c362d9
11 changed files with 26 additions and 38 deletions
|
@ -198,7 +198,7 @@ impl FollowableItem for Editor {
|
|||
|
||||
fn should_unfollow_on_event(event: &Self::Event, _: &AppContext) -> bool {
|
||||
match event {
|
||||
Event::Edited { local } => *local,
|
||||
// Event::BufferEdited { local } => *local,
|
||||
Event::SelectionsChanged { local } => *local,
|
||||
Event::ScrollPositionChanged { local } => *local,
|
||||
_ => false,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue