From 6253ae99cb2f22aa53c4577448d9b4e677b6efb0 Mon Sep 17 00:00:00 2001
From: andrey zaytsev <andrey.zaytsev@jetbrains.com>
Date: Wed, 28 Feb 2018 21:49:42 +0300
Subject: [PATCH] add copy method to SegmentArrayWithData for on-air

(cherry picked from commit e3476cb)
---
 .../openapi/editor/ex/util/SegmentArrayWithData.java      | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/platform/core-impl/src/com/intellij/openapi/editor/ex/util/SegmentArrayWithData.java b/platform/core-impl/src/com/intellij/openapi/editor/ex/util/SegmentArrayWithData.java
index a8d973843334..07661990ce64 100644
--- a/platform/core-impl/src/com/intellij/openapi/editor/ex/util/SegmentArrayWithData.java
+++ b/platform/core-impl/src/com/intellij/openapi/editor/ex/util/SegmentArrayWithData.java
@@ -120,5 +120,13 @@ public class SegmentArrayWithData extends SegmentArray {
     return newArray;
   }
 
+  public SegmentArrayWithData copy() {
+    final SegmentArrayWithData sa = new SegmentArrayWithData();
+    sa.mySegmentCount = this.mySegmentCount;
+    sa.myStarts = this.myStarts.clone();
+    sa.myEnds = this.myEnds.clone();
+    sa.myData = this.myData.clone();
+    return sa;
+  }
 }