zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-04 13:39:17 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add margin to picker in contacts popover

Browse Source
This commit is contained in:
Antonio Scandurra 2022-10-10 16:05:09 +02:00
parent afaacba41f
commit 5f9cedad23
2 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
crates/collab_ui/src/contact_finder.rs
View File

@ -121,7 +121,11 @@ impl PickerDelegate for ContactFinder {
} else {
&theme.contact_finder.contact_button
};
let style = theme.picker.item.style_for(mouse_state, selected);
let style = theme
.contact_finder
.picker
.item
.style_for(mouse_state, selected);
Flex::row()
.with_children(user.avatar.clone().map(|avatar| {
Image::new(avatar)

6
styles/src/styleTree/contactFinder.ts
View File

@ -3,6 +3,7 @@ import picker from "./picker";
import { backgroundColor, border, iconColor, player, text } from "./components";
export default function contactFinder(theme: Theme) {
const sideMargin = 12;
const contactButton = {
background: backgroundColor(theme, 100),
color: iconColor(theme, "primary"),
@ -13,7 +14,10 @@ export default function contactFinder(theme: Theme) {
return {
picker: {
item: picker(theme).item,
item: {
...picker(theme).item,
margin: { left: sideMargin, right: sideMargin }
},
empty: picker(theme).empty,
inputEditor: {
background: backgroundColor(theme, 500),