mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
fixed EA-66624
This commit is contained in:
+1
@@ -118,6 +118,7 @@ public class DetectedIndentOptionsNotificationProvider extends EditorNotificatio
|
||||
{
|
||||
Project project = file.getProject();
|
||||
FileEditorManager fileEditorManager = FileEditorManager.getInstance(project);
|
||||
if (fileEditorManager == null) return;
|
||||
FileEditor fileEditor = fileEditorManager.getSelectedEditor(vFile);
|
||||
if (fileEditor != null) {
|
||||
Boolean notifiedFlag = fileEditor.getUserData(NOTIFIED_FLAG);
|
||||
|
||||
Reference in New Issue
Block a user