void (boolean fromModelRefresh) { if (myEditorDiffPreview != null) { myEditorDiffPreview.updatePreview(fromModelRefresh); } if (mySplitterDiffPreview != null) { mySplitterDiffPreview.updatePreview(fromModelRefresh); } }