opendev/gerrit
Code Issues Proposed changes

Rename the publishCommentsOnPush option in GWT

Browse Source 
Adjust documentation accordingly. PolyGerrit uses the sort name
"Publish comments on push", and it was not possible to find this name in
the documentation.

Change-Id: Ib9797b43f4b2ac028dbbeab95287b34ec25de067
This commit is contained in:
Maxime Guerreiro 2018-04-06 09:04:16 +00:00
parent 3817100d4a
commit 596a913f06
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Documentation/intro-user.txt
View File

@ -810,7 +810,7 @@ changes that are created from the web UI (e.g. by the `Create Change`
and `Edit Config` buttons on the project screen, and the `Follow-Up`
button on the change screen).
- [[publish-comments-on-push]]`Publish Draft Comments When a Change Is Updated by Push`:
- [[publish-comments-on-push]]`Publish comments on push`:
+
Whether to publish any outstanding draft comments by default when pushing
updates to open changes. This preference just sets the default; the behavior can

2
gerrit-gwtui/src/main/java/com/google/gerrit/client/account/AccountConstants.properties
View File

@ -38,7 +38,7 @@ showSizeBarInChangeTable = Show Change Sizes As Colored Bars
showLegacycidInChangeTable = Show Change Number In Changes Table
muteCommonPathPrefixes = Mute Common Path Prefixes In File List
signedOffBy = Insert Signed-off-by Footer For Inline Edit Changes
publishCommentsOnPush = Publish Draft Comments When a Change Is Updated by Push
publishCommentsOnPush = Publish Comments On Push
myMenu = My Menu
myMenuInfo = \
Menu items for the 'My' top level menu. \