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

diff: cleanup - rearrange

Browse Source 
GitOrigin-RevId: 52b1291ce8c88973543cd24f80a4221161ce660d
This commit is contained in:
Aleksey Pivovarov
2024-03-14 19:28:38 +00:00
committed by intellij-monorepo-bot
parent 772656d70e
commit 7640e17dbf
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/diff-api/src/com/intellij/diff/util/DiffUserDataKeys.java
+5 -5
View File
@@ -61,6 +61,11 @@ public interface DiffUserDataKeys {
Key<Boolean> 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<Boolean> ENABLE_SEARCH_IN_CHANGES = Key.create("Diff.EnableSearchInChanges");
//
// DiffContext / DiffRequest
//
@@ -137,11 +142,6 @@ public interface DiffUserDataKeys {
*/
Key<Boolean> 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<Boolean> ENABLE_SEARCH_IN_CHANGES = Key.create("Diff.EnableSearchInChanges");
/**
* {@link FrameDiffTool.DiffViewer} reference accessible from particular {@link com.intellij.openapi.editor.Editor}
*/