Merge pull request #1474 from zed-industries/compact-project-panel

Make project panel more compact
This commit is contained in:
Antonio Scandurra 2022-08-05 18:59:54 +02:00 committed by GitHub
commit 67713a5285
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,7 +6,7 @@ export default function projectPanel(theme: Theme) {
return {
...panel,
padding: { left: 12, right: 12, top: 6, bottom: 6 },
indentWidth: 20,
indentWidth: 8,
entry: {
height: 24,
iconColor: iconColor(theme, "muted"),