Move the collab panel to the left by default (#2864)

Increase the indent size on channels
Switch font UI mono

Release Notes:

- Switch the collaboration panel font to Zed's sans-mono (preview only)
- Switch the default dock side to the left (preview-only)
- Increase the indent size on the channels panel (preview-only)
This commit is contained in:
Mikayla Maki
2023-08-18 16:06:10 -07:00
committed by GitHub
7 changed files with 83 additions and 27 deletions
+1 -1
View File
@@ -126,7 +126,7 @@
// Whether to show the collaboration panel button in the status bar.
"button": true,
// Where to dock channels panel. Can be 'left' or 'right'.
"dock": "right",
"dock": "left",
// Default width of the channels panel.
"default_width": 240
},