mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-28 20:01:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

Reduce the right spacing of the contacts menu

Browse source
This commit is contained in:
Nate Butler 2023-06-28 10:06:12 -04:00
parent 49ce1977e3
commit a889f3db54
1 changed files with 1 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
styles/src/styleTree/titlebar.ts
View file

@ -200,10 +200,7 @@ export function titlebar(theme: ColorScheme) {
// TODO: Chore: Make avatarRibbon colors driven by the theme rather than being hard coded.
},
// Sign in buttom
sign_in_button: toggleable_text_button(theme, {}),
// Offline Indicator
offlineIcon: {
color: foreground(theme.lowest, "variant"),
width: 16,
@ -215,7 +212,7 @@ export function titlebar(theme: ColorScheme) {
},
},
// Notice that the collaboration server is out of date
// When the collaboration server is out of date, show a warning
outdatedWarning: {
...text(theme.lowest, "sans", "warning", { size: "xs" }),
background: withOpacity(background(theme.lowest, "warning"), 0.3),
@ -242,7 +239,6 @@ export function titlebar(theme: ColorScheme) {
toggle_contacts_button: toggleable_icon_button(theme, {
margin: {
left: ITEM_SPACING,
right: ITEM_SPACING / 2
},
}),