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-118696 Replace with regex: IOOBE at SegmentArray.findSegmentIndex()

Browse Source
This commit is contained in:
Maxim.Mossienko
2013-12-25 22:45:50 +01:00
parent 9dd6f07a24
commit c3239504db
1 changed files with 16 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/LivePreview.java
+16 -3
View File
@@ -547,9 +547,17 @@ public class LivePreview extends DocumentAdapter implements SearchResults.Search
int startOffset = cur.getStartOffset();
int endOffset = cur.getEndOffset();
Point startPoint = myEditor.visualPositionToXY(myEditor.offsetToVisualPosition(startOffset));
Point endPoint = myEditor.visualPositionToXY(myEditor.offsetToVisualPosition(endOffset));
Point point = new Point((startPoint.x + endPoint.x)/2, startPoint.y);
if (startOffset >= myEditor.getDocument().getTextLength()) {
if (!object.isDisposed()) {
ApplicationManager.getApplication().invokeLater(new Runnable() {
@Override
public void run() {
object.hide();
}
});
}
return null;
}
if (!SearchResults.insideVisibleArea(myEditor, cur)) {
ApplicationManager.getApplication().invokeLater(new Runnable() {
@Override
@@ -575,6 +583,11 @@ public class LivePreview extends DocumentAdapter implements SearchResults.Search
myVisibleAreaListenersToRemove.add(visibleAreaListener);
}
Point startPoint = myEditor.visualPositionToXY(myEditor.offsetToVisualPosition(startOffset));
Point endPoint = myEditor.visualPositionToXY(myEditor.offsetToVisualPosition(endOffset));
Point point = new Point((startPoint.x + endPoint.x)/2, startPoint.y);
return new RelativePoint(myEditor.getContentComponent(), point);
}
}