maxmustermann/vscode
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Git: rename 'Publish' to 'Publish Branch' (fixes #26133)

Browse source
This commit is contained in:
Benjamin Pasero 2017-06-01 09:26:32 +02:00
parent 69ddf8a83e
commit eac49a321b
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extensions/git/package.nls.json
View file

@ -27,7 +27,7 @@
"command.push": "Push",
"command.pushTo": "Push to...",
"command.sync": "Sync",
"command.publish": "Publish",
"command.publish": "Publish Branch",
"command.showOutput": "Show Git Output",
"config.enabled": "Whether git is enabled",
"config.path": "Path to the git executable",

6
extensions/git/src/statusbar.ts
View file

@ -114,11 +114,11 @@ class SyncStatusBar {
text += `${HEAD.behind}↓ ${HEAD.ahead}↑`;
}
command = 'git.sync';
tooltip = localize('sync changes', "Synchronize changes");
tooltip = localize('sync changes', "Synchronize Changes");
} else {
icon = '$(cloud-upload)';
command = 'git.publish';
tooltip = localize('publish changes', "Publish changes");
tooltip = localize('publish changes', "Publish Changes");
}
} else {
command = '';
@ -128,7 +128,7 @@ class SyncStatusBar {
if (this.state.isSyncRunning) {
icon = '$(sync~spin)';
command = '';
tooltip = localize('syncing changes', "Synchronizing changes...");
tooltip = localize('syncing changes', "Synchronizing Changes...");
}
return {