eclipse-theia/theia
`**` `files.exclude` filter should filter everything in the navigator
Offen
#4.300 geöffnet am 11.02.2019
bughelp wantednavigator
Repository-Metriken
- Stars
- (18.676 Sterne)
- PR-Merge-Metriken
- (Durchschn. Merge 15T 4h) (75 gemergte PRs in 30 T)
Beschreibung
This is a follow-up issue of #4274. Most likely, nobody wants to filter all items from the navigator, so this is a minor defect.
{
"files.exclude": {
"**": true
}
}
Current behavior:
All files with a leading . (dot) are visible in the navigator.
Expected behavior: No files are visible in the navigator.
