mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-12 21:32:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 10

Fix warnings in people_panel

Browse source
This commit is contained in:
Max Brunsfeld 2021-09-20 15:45:41 -07:00
parent 8f578e7521
commit 8b1a2c8cd2
1 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
zed/src/people_panel.rs
View file

@ -1,17 +1,18 @@
use gpui::{
elements::*, Element, ElementBox, Entity, ModelHandle, RenderContext, View, ViewContext,
};
use postage::watch;
use crate::{
theme::Theme,
user::{Collaborator, UserStore},
Settings,
};
use gpui::{
elements::*, Element, ElementBox, Entity, ModelHandle, RenderContext, Subscription, View,
ViewContext,
};
use postage::watch;
pub struct PeoplePanel {
collaborators: ListState,
user_store: ModelHandle<UserStore>,
_maintain_collaborators: Subscription,
}
impl PeoplePanel {
@ -20,7 +21,6 @@ impl PeoplePanel {
settings: watch::Receiver<Settings>,
cx: &mut ViewContext<Self>,
) -> Self {
cx.observe(&user_store, Self::update_collaborators);
Self {
collaborators: ListState::new(
user_store.read(cx).collaborators().len(),
@ -35,6 +35,7 @@ impl PeoplePanel {
}
},
),
_maintain_collaborators: cx.observe(&user_store, Self::update_collaborators),
user_store,
}
}
@ -108,7 +109,7 @@ impl View for PeoplePanel {
"PeoplePanel"
}
fn render(&mut self, cx: &mut RenderContext<Self>) -> ElementBox {
fn render(&mut self, _: &mut RenderContext<Self>) -> ElementBox {
List::new(self.collaborators.clone()).boxed()
}
}