Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rename PeoplePanel to ContactsPanel

Browse source 
Yeah, it's true they're people, but this is a more specific way in which they're people.

Co-Authored-By: Antonio Scandurra <me@as-cii.com>
This commit is contained in:
Nathan Sobo 2021-11-26 11:13:05 -07:00
parent c8ad5b68e0
commit d78d5712be
9 changed files with 48 additions and 46 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/theme/src/lib.rs
View file

@ -20,7 +20,7 @@ pub struct Theme {
pub name: String,
pub workspace: Workspace,
pub chat_panel: ChatPanel,
pub people_panel: PeoplePanel,
pub contacts_panel: ContactsPanel,
pub project_panel: ProjectPanel,
pub selector: Selector,
pub editor: EditorStyle,
@ -137,7 +137,7 @@ pub struct ProjectPanelEntry {
}
#[derive(Deserialize, Default)]
pub struct PeoplePanel {
pub struct ContactsPanel {
#[serde(flatten)]
pub container: ContainerStyle,
pub host_row_height: f32,