.

2021-11-06 15:56:16 +00:00
parent fe47f06a7c
commit 3018bd9194
1 changed files with 1 additions and 0 deletions
@@ -289,6 +289,7 @@
                            .getFile());
                        }
                        current_files = getCurrentFiles();
                        console.log("1", distinct_set, current_files);
                        let distinct_set = new Set([...files_to_add].filter(
                            x => !current_files.has(x)));