(encoding)
| 22 | } |
| 23 | |
| 24 | export async function reopenWithNewEncoding(encoding) { |
| 25 | const file = editorManager.activeFile; |
| 26 | const editor = editorManager.editor; |
| 27 | const message = strings["change encoding"] |
| 28 | .replace("{file}", file.filename) |
| 29 | .replace("{encoding}", encoding); |
| 30 | const confirmation = await confirm(strings.warning, message); |
| 31 | |
| 32 | if (!confirmation) return; |
| 33 | |
| 34 | const text = await fsOperation(file.uri).readFile(encoding); |
| 35 | const cursorPosition = editor.getCursorPosition(); |
| 36 | |
| 37 | file.encoding = encoding; |
| 38 | file.session.setValue(text); |
| 39 | file.isUnsaved = false; |
| 40 | file.markChanged = false; |
| 41 | editor.moveCursorToPosition(cursorPosition); |
| 42 | |
| 43 | editorManager.onupdate("encoding"); |
| 44 | editorManager.emit("update", "encoding"); |
| 45 | } |
no test coverage detected