void (int startLine, int oldEndLine, int newEndLine, @NotNull TIntIntHashMap lineWidths) { mySizeContainer.update(startLine, newEndLine, oldEndLine); for (int i = startLine; i <= newEndLine; i++) { if (lineWidths.contains(i)) { int width = lineWidths.get(i); if (width >= 0) { mySizeContainer.updateLineWidthIfNecessary(i, width); } } } }