diff options
| author | Aram Drevekenin <aram@poor.dev> | 2021-12-20 17:31:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-20 17:31:07 +0100 |
| commit | ca8438b0aa0e5e9aa1c69f0217c275d20f269a8f (patch) | |
| tree | 97ee4922eb41415d54d3cb183ad9dbef66bd7186 /default-plugins/tab-bar/src/main.rs | |
| parent | 2c1d3a9817e70ea3d4b55672166f3417d296cc44 (diff) | |
feat(collaboration): implement multiple users (#957)
* work
* feat(collaboration): implement multiple users
* style(cleanup): some leftovers
Diffstat (limited to 'default-plugins/tab-bar/src/main.rs')
| -rw-r--r-- | default-plugins/tab-bar/src/main.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default-plugins/tab-bar/src/main.rs b/default-plugins/tab-bar/src/main.rs index 31b2f2d37..3db531384 100644 --- a/default-plugins/tab-bar/src/main.rs +++ b/default-plugins/tab-bar/src/main.rs @@ -85,6 +85,7 @@ impl ZellijPlugin for State { t.is_sync_panes_active, self.mode_info.palette, self.mode_info.capabilities, + t.other_focused_clients.as_slice(), ); all_tabs.push(tab); } |