|
|
@ -525,7 +525,6 @@ class FileManager extends Plugin { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
_setFileInternal (path, content) { |
|
|
|
_setFileInternal (path, content) { |
|
|
|
console.log(path, content) |
|
|
|
|
|
|
|
const provider = this.fileProviderOf(path) |
|
|
|
const provider = this.fileProviderOf(path) |
|
|
|
if (!provider) throw createError({ code: 'ENOENT', message: `${path} not available` }) |
|
|
|
if (!provider) throw createError({ code: 'ENOENT', message: `${path} not available` }) |
|
|
|
// TODO : Add permission
|
|
|
|
// TODO : Add permission
|
|
|
@ -726,7 +725,6 @@ class FileManager extends Plugin { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
syncEditor (path) { |
|
|
|
syncEditor (path) { |
|
|
|
console.log(path) |
|
|
|
|
|
|
|
var currentFile = this._deps.config.get('currentFile') |
|
|
|
var currentFile = this._deps.config.get('currentFile') |
|
|
|
console.log(currentFile, path) |
|
|
|
console.log(currentFile, path) |
|
|
|
if (path !== currentFile) return |
|
|
|
if (path !== currentFile) return |
|
|
|