void (boolean widthChanged, boolean heightChanged, boolean gutterMarkChanged, boolean repaintRequested) { if (heightChanged) { updateCachedOffsets(); myEditor.getCaretModel().updateVisualPosition(); } if (widthChanged || heightChanged) { myEditor.recalculateSizeAndRepaint(); } else if (repaintRequested) { myEditor.getContentComponent().repaint(); } if (gutterMarkChanged) { ((EditorGutterComponentImpl)myEditor.getGutterComponentEx()).updateSize(); } }