mirror of
https://github.com/microsoft/vscode.git
synced 2026-05-08 09:08:48 +01:00
HEAD label appears on tab (#76329)
This commit is contained in:
committed by
João Moreno
parent
8e47e98e08
commit
b462757eb6
@@ -738,6 +738,8 @@ export class CommandCenter {
|
||||
}
|
||||
|
||||
const HEAD = await this.getLeftResource(resource);
|
||||
const basename = path.basename(resource.resourceUri.fsPath);
|
||||
const title = `${basename} (HEAD)`;
|
||||
|
||||
if (!HEAD) {
|
||||
window.showWarningMessage(localize('HEAD not available', "HEAD version of '{0}' is not available.", path.basename(resource.resourceUri.fsPath)));
|
||||
@@ -748,7 +750,7 @@ export class CommandCenter {
|
||||
preview
|
||||
};
|
||||
|
||||
return await commands.executeCommand<void>('vscode.open', HEAD, opts);
|
||||
return await commands.executeCommand<void>('vscode.open', HEAD, opts, title);
|
||||
}
|
||||
|
||||
@command('git.openChange')
|
||||
|
||||
Reference in New Issue
Block a user