Merge pull request #1793 from zed-industries/screen-sharing

Introduce screen-sharing
This commit is contained in:
Antonio Scandurra 2022-10-24 16:53:05 +01:00 committed by GitHub
commit fb7a92242b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
61 changed files with 3028 additions and 897 deletions

View file

@ -166,6 +166,11 @@ export default function contactsPanel(colorScheme: ColorScheme) {
projectRow: {
...projectRow,
background: background(layer, "on"),
icon: {
margin: { left: nameMargin },
color: foreground(layer, "variant"),
width: 12,
},
name: {
...projectRow.name,
...text(layer, "mono", { size: "sm" }),

View file

@ -137,7 +137,18 @@ export default function workspace(colorScheme: ColorScheme) {
},
cornerRadius: 6,
},
callControl: {
cornerRadius: 6,
color: foreground(layer, "variant"),
iconWidth: 12,
buttonWidth: 20,
hover: {
background: background(layer, "variant", "hovered"),
color: foreground(layer, "variant", "hovered"),
},
},
toggleContactsButton: {
margin: { left: 6 },
cornerRadius: 6,
color: foreground(layer, "variant"),
iconWidth: 8,