VFilePropertyChangeEvent (@NotNull VirtualFile dir, @NotNull FileAttributes.CaseSensitivity actualCaseSensitivity) { if (actualCaseSensitivity != FileAttributes.CaseSensitivity.UNKNOWN) { if (dir.getFileSystem().isCaseSensitive() != (actualCaseSensitivity == FileAttributes.CaseSensitivity.SENSITIVE)) { // fire only when the new case sensitivity is different from the default FS sensitivity, // because only in that case the file.isCaseSensitive() value could change return new VFilePropertyChangeEvent(REFRESH_REQUESTOR, dir, VirtualFile.PROP_CHILDREN_CASE_SENSITIVITY, FileAttributes.CaseSensitivity.UNKNOWN, actualCaseSensitivity); } else { changeCaseSensitivity(dir, actualCaseSensitivity); } } return null; }