Allow fuzzy-search for potential contacts in the contacts panel

Co-authored-by: Nathan Sobo <nathan@zed.dev>
This commit is contained in:
Max Brunsfeld
2022-05-05 14:14:44 -07:00
co-authored by Nathan Sobo
parent 35fea43089
commit ea81737a88
19 changed files with 436 additions and 237 deletions
+9 -3
View File
@@ -47,19 +47,25 @@ export default function(theme: Theme) {
top: 7,
},
},
hostRowHeight: 28,
rowHeight: 28,
treeBranchColor: borderColor(theme, "muted"),
treeBranchWidth: 1,
hostAvatar: {
contactAvatar: {
cornerRadius: 10,
width: 18,
},
hostUsername: {
contactUsername: {
...text(theme, "mono", "primary", { size: "sm" }),
padding: {
left: 8,
},
},
header: {
...text(theme, "mono", "secondary", { size: "sm" }),
// padding: {
// left: 8,
// }
},
project,
sharedProject,
hoveredSharedProject: {