MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[github] Allow owner to reopen pull request

Browse Source
This commit is contained in:
Ivan Semenov
2019-02-06 13:03:30 +03:00
parent 962b93076f
commit 202dda637e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/github/src/org/jetbrains/plugins/github/pullrequest/ui/details/GithubPullRequestStatePanel.kt
+1 -1
View File
@@ -159,7 +159,7 @@ internal class GithubPullRequestStatePanel(private val model: GithubPullRequestD
mergeButton.isVisible = false
}
else {
reopenButton.isVisible = state.editAllowed && state.state == GithubIssueState.closed && !state.merged
reopenButton.isVisible = (state.editAllowed || state.currentUserIsAuthor) && state.state == GithubIssueState.closed && !state.merged
reopenAction.isEnabled = reopenButton.isVisible && !state.busy
closeButton.isVisible = (state.editAllowed || state.currentUserIsAuthor) && state.state == GithubIssueState.open