Closed
Description
Question
The DEVELOPERS.md page could use a section describing how this extension actually achieves its filtering.
For instance, when playing with the settings, I saw there was a "files.exclude" setting. If I knew how the actual filtering is done, I could write a patch supporting a "files.include" setting, to follow the rules: (1) if a file matches the files.include setting, show it, (2) else if a file matches the files.exclude settings or the checked filters, exclude it, (3) else show the file.