|
|
@ -560,7 +560,6 @@ class FileManager extends Plugin { |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
// TODO: Only keep `this.emit` (issue#2210)
|
|
|
|
|
|
|
|
this.emit('fileRenamed', oldName, newName, isFolder) |
|
|
|
this.emit('fileRenamed', oldName, newName, isFolder) |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
@ -577,7 +576,6 @@ class FileManager extends Plugin { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
async closeAllFiles() { |
|
|
|
async closeAllFiles() { |
|
|
|
// TODO: Only keep `this.emit` (issue#2210)
|
|
|
|
|
|
|
|
this.emit('filesAllClosed') |
|
|
|
this.emit('filesAllClosed') |
|
|
|
for (const file in this.openedFiles) { |
|
|
|
for (const file in this.openedFiles) { |
|
|
|
await this.closeFile(file) |
|
|
|
await this.closeFile(file) |
|
|
@ -588,10 +586,8 @@ class FileManager extends Plugin { |
|
|
|
delete this.openedFiles[name] |
|
|
|
delete this.openedFiles[name] |
|
|
|
if (!Object.keys(this.openedFiles).length) { |
|
|
|
if (!Object.keys(this.openedFiles).length) { |
|
|
|
this._deps.config.set('currentFile', '') |
|
|
|
this._deps.config.set('currentFile', '') |
|
|
|
// TODO: Only keep `this.emit` (issue#2210)
|
|
|
|
|
|
|
|
this.emit('noFileSelected') |
|
|
|
this.emit('noFileSelected') |
|
|
|
} |
|
|
|
} |
|
|
|
// TODO: Only keep `this.emit` (issue#2210)
|
|
|
|
|
|
|
|
this.emit('fileClosed', name) |
|
|
|
this.emit('fileClosed', name) |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
@ -694,7 +690,6 @@ class FileManager extends Plugin { |
|
|
|
} |
|
|
|
} |
|
|
|
this.editor.discard(path) |
|
|
|
this.editor.discard(path) |
|
|
|
delete this.openedFiles[path] |
|
|
|
delete this.openedFiles[path] |
|
|
|
// TODO: Only keep `this.emit` (issue#2210)
|
|
|
|
|
|
|
|
this.emit('fileRemoved', path) |
|
|
|
this.emit('fileRemoved', path) |
|
|
|
if (path === this._deps.config.get('currentFile')) { |
|
|
|
if (path === this._deps.config.get('currentFile')) { |
|
|
|
this.openFile(this._deps.config.get('currentFile')) |
|
|
|
this.openFile(this._deps.config.get('currentFile')) |
|
|
@ -704,7 +699,6 @@ class FileManager extends Plugin { |
|
|
|
async unselectCurrentFile() { |
|
|
|
async unselectCurrentFile() { |
|
|
|
await this.saveCurrentFile() |
|
|
|
await this.saveCurrentFile() |
|
|
|
this._deps.config.set('currentFile', '') |
|
|
|
this._deps.config.set('currentFile', '') |
|
|
|
// TODO: Only keep `this.emit` (issue#2210)
|
|
|
|
|
|
|
|
this.emit('noFileSelected') |
|
|
|
this.emit('noFileSelected') |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
@ -742,7 +736,6 @@ class FileManager extends Plugin { |
|
|
|
} else { |
|
|
|
} else { |
|
|
|
await this.editor.open(file, content) |
|
|
|
await this.editor.open(file, content) |
|
|
|
} |
|
|
|
} |
|
|
|
// TODO: Only keep `this.emit` (issue#2210)
|
|
|
|
|
|
|
|
this.emit('currentFileChanged', file) |
|
|
|
this.emit('currentFileChanged', file) |
|
|
|
return true |
|
|
|
return true |
|
|
|
} |
|
|
|
} |
|
|
@ -988,7 +981,7 @@ class FileManager extends Plugin { |
|
|
|
/** |
|
|
|
/** |
|
|
|
* Moves a file to a new folder |
|
|
|
* Moves a file to a new folder |
|
|
|
* @param {string} src path of the source file |
|
|
|
* @param {string} src path of the source file |
|
|
|
* @param {string} dest path of the destrination file |
|
|
|
* @param {string} dest path of the destination file |
|
|
|
* @returns {void} |
|
|
|
* @returns {void} |
|
|
|
*/ |
|
|
|
*/ |
|
|
|
|
|
|
|
|
|
|
|