|
|
@ -599,8 +599,7 @@ class FileManager extends Plugin { |
|
|
|
this.events.emit('noFileSelected') |
|
|
|
this.events.emit('noFileSelected') |
|
|
|
} else { |
|
|
|
} else { |
|
|
|
this.saveCurrentFile() |
|
|
|
this.saveCurrentFile() |
|
|
|
let resolved |
|
|
|
const resolved = this.getPathFromUrl(file) |
|
|
|
resolved = this.getPathFromUrl(file) |
|
|
|
|
|
|
|
file = resolved.file |
|
|
|
file = resolved.file |
|
|
|
const provider = resolved.provider |
|
|
|
const provider = resolved.provider |
|
|
|
this._deps.config.set('currentFile', file) |
|
|
|
this._deps.config.set('currentFile', file) |
|
|
|