mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
follow IDEA-CR-55524
GitOrigin-RevId: 6791b1f577227a968564385e265354098ec7f9ba
This commit is contained in:
committed by
intellij-monorepo-bot
parent
0ee8d21de5
commit
a215e73d9b
+1
-1
@@ -102,7 +102,7 @@ public final class EnforcedPlainTextFileTypeManager {
|
||||
});
|
||||
}
|
||||
|
||||
void ensureProjectFileUpToDate(@NotNull Project project) {
|
||||
private void ensureProjectFileUpToDate(@NotNull Project project) {
|
||||
int i = ArrayUtil.indexOf(explicitlyMarkedProjects, project);
|
||||
ProjectPlainTextFileTypeManager projectPlainTextFileTypeManager = ProjectPlainTextFileTypeManager.getInstance(project);
|
||||
if (i == -1) {
|
||||
|
||||
Reference in New Issue
Block a user