adding filename filter

2018-05-10 11:05:16 -07:00 · 2018-05-10 11:05:16 -07:00 · df99fa1699
commit df99fa1699
parent ef218bcc24
1 changed files with 2 additions and 1 deletions
--- a/pxtarget.json
+++ b/pxtarget.json
@ -170,7 +170,8 @@
        },
        "monacoColors": {
            "editor.background": "#f9f9f9"
-        }
+        },
+        "fileNameExclusiveFilter": "[^a-zA-Z]"
    },
    "ignoreDocsErrors": true
 }