VirtualFile (@NotNull FileEditor fileEditor) { VirtualFile virtualFile = fileEditor.getFile(); for (BackedVirtualFileProvider provider : BackedVirtualFileProvider.EP_NAME.getExtensionList()) { VirtualFile replacedVirtualFile = provider.getReplacedVirtualFile(virtualFile); if (replacedVirtualFile != null) { virtualFile = replacedVirtualFile; break; } } return virtualFile; }