opendev/gerrit
Code Issues Proposed changes

Remove unnecessary final modifiers

Browse Source 
Change-Id: I32794046d557db051234b33d8b50d5d939bbbf1f
This commit is contained in:
David Ostrovsky
2017-04-02 08:16:35 +02:00
committed by David Pursehouse
parent c8f90f1604
commit eca086a537
22 changed files with 54 additions and 67 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
gerrit-gwtui/src/main/java/com/google/gerrit/client/editor/EditScreen.java
View File

@@ -468,7 +468,7 @@ public class EditScreen extends Screen {
cmEdit.setOption(option, value);
}
void setTheme(final Theme newTheme) {
void setTheme(Theme newTheme) {
cmBase.operation(
() -> {
cmBase.setOption("theme", newTheme.name().toLowerCase());
@@ -494,7 +494,7 @@ public class EditScreen extends Screen {
cmEdit.setOption("lineNumbers", show);
}
void setShowWhitespaceErrors(final boolean show) {
void setShowWhitespaceErrors(boolean show) {
cmBase.operation(
() -> {
cmBase.setOption("showTrailingSpace", show);