mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
diff: better option names
* fix capitalisation
This commit is contained in:
@@ -18,10 +18,10 @@ package com.intellij.diff.tools.util.base;
|
||||
import org.jetbrains.annotations.NotNull;
|
||||
|
||||
public enum HighlightPolicy {
|
||||
DO_NOT_HIGHLIGHT("Do Not Highlight"),
|
||||
BY_LINE("By Line"),
|
||||
BY_WORD("By Word"),
|
||||
BY_WORD_SPLIT("By Word In Chunks");
|
||||
DO_NOT_HIGHLIGHT("Do not highlight"),
|
||||
BY_LINE("Highlight words"),
|
||||
BY_WORD("Highlight lines"),
|
||||
BY_WORD_SPLIT("Highlight split changes");
|
||||
|
||||
@NotNull private final String myText;
|
||||
|
||||
|
||||
@@ -19,10 +19,10 @@ import com.intellij.diff.comparison.ComparisonPolicy;
|
||||
import org.jetbrains.annotations.NotNull;
|
||||
|
||||
public enum IgnorePolicy {
|
||||
DEFAULT("Do Not Ignore"),
|
||||
TRIM_WHITESPACES("Trim Whitespaces"),
|
||||
IGNORE_WHITESPACES("Ignore Whitespaces"),
|
||||
IGNORE_WHITESPACES_CHUNKS("Ignore Whitespaces And Empty Lines");
|
||||
DEFAULT("Do not ignore"),
|
||||
TRIM_WHITESPACES("Trim whitespaces"),
|
||||
IGNORE_WHITESPACES("Ignore whitespaces"),
|
||||
IGNORE_WHITESPACES_CHUNKS("Ignore whitespaces and empty lines");
|
||||
|
||||
@NotNull private final String myText;
|
||||
|
||||
|
||||
Reference in New Issue
Block a user