434435436437438439440441442443444
documentAdapter.replaceTextRange(0, 0, content); } } if (!isDirty) { phpEditor.doSave(null); } } } } }