void (@NotNull DocumentEvent event) { if (myDocumentSavingInProgress) { /* When {@link FileDocumentManager#saveAllDocuments} is called, {@link com.intellij.openapi.editor.impl.TrailingSpacesStripper} can change a document. These needless 'documentChanged' events should be filtered out. */ return; } final VirtualFile file = FileDocumentManager.getInstance().getFile(event.getDocument()); if (file == null) { return; } if (!myChangedFiles.contains(file)) { if (ProjectUtil.isProjectOrWorkspaceFile(file)) { return; } if (myChangedFileFilter != null && !myChangedFileFilter.test(file)) { return; } myChangedFiles.add(file); } myAlarm.cancelAndRequest(); myModificationStamp++; }