Stefan Monnier writes: >> If there are marked files, then potentially a super-set of marked files >> could get hidden. This "superset" behaviour will surprise the user - >> "Why does even un-marked files get hidden?" > > I don't see why it should pay attention to the marks. I am attaching the modified patch.