mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
HelpID for Rejected Push dialog
This commit is contained in:
@@ -104,6 +104,11 @@ class GitRejectedPushUpdateDialog extends DialogWrapper {
|
||||
return rootPanel;
|
||||
}
|
||||
|
||||
@Override
|
||||
protected String getHelpId() {
|
||||
return "reference.VersionControl.Git.UpdateOnRejectedPushDialog";
|
||||
}
|
||||
|
||||
private String makeDescription() {
|
||||
if (GitUtil.justOneGitRepository(myProject)) {
|
||||
assert !myRepositories.isEmpty() : "repositories are empty";
|
||||
|
||||
Reference in New Issue
Block a user