diff --git a/platform/diff-api/src/com/intellij/diff/util/DiffUserDataKeys.java b/platform/diff-api/src/com/intellij/diff/util/DiffUserDataKeys.java index 6365c4efb439..544cbcb276dd 100644 --- a/platform/diff-api/src/com/intellij/diff/util/DiffUserDataKeys.java +++ b/platform/diff-api/src/com/intellij/diff/util/DiffUserDataKeys.java @@ -61,6 +61,11 @@ public interface DiffUserDataKeys { Key DO_NOT_CHANGE_WINDOW_TITLE = Key.create("Diff.DoNotChangeWindowTitle"); + /** + * Enable search in editor inside diff changes areas in additional to the editor selection for the current {@link DiffContext} + */ + Key ENABLE_SEARCH_IN_CHANGES = Key.create("Diff.EnableSearchInChanges"); + // // DiffContext / DiffRequest // @@ -137,11 +142,6 @@ public interface DiffUserDataKeys { */ Key ALIGNED_TWO_SIDED_DIFF = Key.create("Diff.AlignTwoSidedDiff"); - /** - * Enable search in editor inside diff changes areas in additional to the editor selection for the current {@link DiffContext} - */ - Key ENABLE_SEARCH_IN_CHANGES = Key.create("Diff.EnableSearchInChanges"); - /** * {@link FrameDiffTool.DiffViewer} reference accessible from particular {@link com.intellij.openapi.editor.Editor} */