bool isEdgeLineSplit(Operation before, Operation after) { if (before == null) return true; // split at the beginning of a doc return before.data.endsWith('\n') || after.data.startsWith('\n'); }