(from: URI, to: URI)
| 161 | }; |
| 162 | |
| 163 | export const renameFile = (from: URI, to: URI) => { |
| 164 | const edit = new vscode.WorkspaceEdit(); |
| 165 | edit.renameFile(toVsCodeUri(from), toVsCodeUri(to)); |
| 166 | return vscode.workspace.applyEdit(edit); |
| 167 | }; |
| 168 | |
| 169 | const decoder = new TextDecoder('utf-8'); |
| 170 | export const readFile = async (uri: URI) => { |
no test coverage detected