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

IDEA-65667: manually expand folding blocks before putting selection there

Browse Source
This commit is contained in:
andrey zaytsev
2011-02-28 17:13:35 +03:00
parent c9eb572888
commit fe465cb425
1 changed files with 15 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/find/impl/livePreview/LivePreviewControllerBase.java
+15 -3
View File
@@ -5,9 +5,7 @@ import com.intellij.find.FindModel;
import com.intellij.find.FindUtil;
import com.intellij.find.impl.FindResultImpl;
import com.intellij.openapi.application.ApplicationManager;
import com.intellij.openapi.editor.Editor;
import com.intellij.openapi.editor.ScrollType;
import com.intellij.openapi.editor.SelectionModel;
import com.intellij.openapi.editor.*;
import com.intellij.openapi.util.Pair;
import com.intellij.openapi.util.TextRange;
import com.intellij.util.Alarm;
@@ -38,6 +36,20 @@ public class LivePreviewControllerBase implements LivePreview.Delegate, FindUtil
LiveOccurrence cursor = mySearchResults.getCursor();
if (cursor != null) {
TextRange range = cursor.getPrimaryRange();
FoldingModel foldingModel = editor.getFoldingModel();
final FoldRegion startFolding = foldingModel.getCollapsedRegionAtOffset(range.getStartOffset());
final FoldRegion endFolding = foldingModel.getCollapsedRegionAtOffset(range.getEndOffset());
foldingModel.runBatchFoldingOperation(new Runnable() {
@Override
public void run() {
if (startFolding != null) {
startFolding.setExpanded(true);
}
if (endFolding != null) {
endFolding.setExpanded(true);
}
}
});
selection.setSelection(range.getStartOffset(), range.getEndOffset());
editor.getCaretModel().moveToOffset(range.getEndOffset());