Git - when doing a git rename close the old file and open the new one (#238368)

pull/238376/head
Ladislau Szomoru 2025-01-21 16:14:57 +01:00 committed by GitHub
parent d24b8fb490
commit 15006ee21f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 0 deletions

View File

@ -1341,6 +1341,10 @@ export class CommandCenter {
}
await repository.move(from, to);
// Close active editor and open the renamed file
await commands.executeCommand('workbench.action.closeActiveEditor');
await commands.executeCommand('vscode.open', Uri.file(path.join(repository.root, to)), { viewColumn: ViewColumn.Active });
}
@command('git.stage')