mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
fix possible NPE when updating editor settings
This commit is contained in:
@@ -832,7 +832,7 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
|
||||
caret.moveToOffset(caret.getOffset());
|
||||
}
|
||||
|
||||
if (myVirtualFile != null) EditorNotifications.getInstance(myProject).updateNotifications(myVirtualFile);
|
||||
if (myVirtualFile != null && myProject != null) EditorNotifications.getInstance(myProject).updateNotifications(myVirtualFile);
|
||||
}
|
||||
|
||||
/**
|
||||
|
||||
Reference in New Issue
Block a user