|
@@ -105,7 +105,11 @@ define([
|
|
|
const commandName = match[1]
|
|
const commandName = match[1]
|
|
|
const result = []
|
|
const result = []
|
|
|
for (let file of Files.getTeXFiles()) {
|
|
for (let file of Files.getTeXFiles()) {
|
|
|
- if (file.id !== this.$scope.docId) {
|
|
|
|
|
|
|
+ if (
|
|
|
|
|
+ file.id !== this.$scope.docId &&
|
|
|
|
|
+ !file.deleted &&
|
|
|
|
|
+ file.path
|
|
|
|
|
+ ) {
|
|
|
const { path } = file
|
|
const { path } = file
|
|
|
let cleanPath = path.replace(/(.+)\.tex$/i, '$1')
|
|
let cleanPath = path.replace(/(.+)\.tex$/i, '$1')
|
|
|
result.push({
|
|
result.push({
|