Merge branch 'dev' into pr_2033

This commit is contained in:
Nick O'Leary
2019-01-22 16:13:26 +00:00
2 changed files with 6 additions and 1 deletions

View File

@@ -326,6 +326,7 @@ RED.sidebar.versionControl = (function() {
.appendTo(bg)
.click(function(evt) {
evt.preventDefault();
evt.stopPropagation();
refresh(true);
});
RED.popover.tooltip(refreshButton,RED._("sidebar.project.versionControl.refreshChanges"));
@@ -559,6 +560,7 @@ RED.sidebar.versionControl = (function() {
.appendTo(bg)
.click(function(evt) {
evt.preventDefault();
evt.stopPropagation();
refresh(true,true);
})
RED.popover.tooltip(refreshButton,RED._("sidebar.project.versionControl.refreshCommitHistory"))