Merge pull request #1050 from zed-industries/ignored-files

Show ignored entries in project panel
2022-05-24 10:57:16 +02:00
parent acf9a59cc2 99573ca270
commit 5c4bd9393f
5 changed files with 178 additions and 30 deletions
@@ -26,6 +26,7 @@ export default function projectPanel(theme: Theme) {
        text: text(theme, "mono", "active", { size: "sm" }),
      }
    },
+    ignoredEntryFade: 0.6,
    filenameEditor: {
      background: backgroundColor(theme, 500, "active"),
      text: text(theme, "mono", "primary", { size: "sm" }),