|
|
@ -612,11 +612,11 @@ class FileManager extends Plugin { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
async openFile (file) { |
|
|
|
async openFile (file) { |
|
|
|
file = this.normalize(file) |
|
|
|
|
|
|
|
if (!file) { |
|
|
|
if (!file) { |
|
|
|
this.emit('noFileSelected') |
|
|
|
this.emit('noFileSelected') |
|
|
|
this.events.emit('noFileSelected') |
|
|
|
this.events.emit('noFileSelected') |
|
|
|
} else { |
|
|
|
} else { |
|
|
|
|
|
|
|
file = this.normalize(file) |
|
|
|
this.saveCurrentFile() |
|
|
|
this.saveCurrentFile() |
|
|
|
const resolved = this.getPathFromUrl(file) |
|
|
|
const resolved = this.getPathFromUrl(file) |
|
|
|
file = resolved.file |
|
|
|
file = resolved.file |
|
|
|