WebSubmit: update handling of HIDDEN files with document manager
|Reported by:||jcaffaro||Owned by:||jcaffaro|
Commit 827951533f3194b3d6f8d3d82745473df39a4143 introduced support for hidden files in the document manager (#585). The update considered that a BibDoc is completely hidden as soon as one of its bibdocfiles is hidden.
It is now needed to hide files at the level of bibdocfiles, such that only some formats/subformats are hidden, not the complete BibDoc.
It should be checked if a new behaviour is compatible with the already existing uses of this feature (i.e. Inspire), or if some configurable (CFG_ variable) option should be added.