mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-26 03:59:55 +00:00
Switch .leader_replica_id -> .leader_peer_id
This commit is contained in:
parent
c718b810f6
commit
55da5bc25d
1 changed files with 2 additions and 3 deletions
|
@ -195,9 +195,8 @@ impl Vim {
|
||||||
if editor_mode == EditorMode::Full
|
if editor_mode == EditorMode::Full
|
||||||
&& !newest_selection_empty
|
&& !newest_selection_empty
|
||||||
&& self.state().mode == Mode::Normal
|
&& self.state().mode == Mode::Normal
|
||||||
// if leader_replica_id is set, then you're following someone else's cursor
|
// When following someone, don't switch vim mode.
|
||||||
// don't switch vim mode.
|
&& editor.leader_peer_id().is_none()
|
||||||
&& editor.leader_replica_id().is_none()
|
|
||||||
{
|
{
|
||||||
self.switch_mode(Mode::Visual, true, cx);
|
self.switch_mode(Mode::Visual, true, cx);
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue