MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

do not search external documentation for pyi files

Browse Source
This commit is contained in:
Ekaterina Tuzova
2017-10-12 14:36:19 +03:00
parent 9bf41a6d78
commit a3483dbfd8
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/src/com/jetbrains/python/documentation/PythonDocumentationProvider.java
+8
View File
@@ -48,6 +48,7 @@ import com.jetbrains.python.psi.resolve.PyResolveContext;
import com.jetbrains.python.psi.resolve.QualifiedNameFinder;
import com.jetbrains.python.psi.types.PyType;
import com.jetbrains.python.psi.types.TypeEvalContext;
import com.jetbrains.python.pyi.PyiFile;
import com.jetbrains.python.pyi.PyiUtil;
import com.jetbrains.python.toolbox.ChainIterable;
import one.util.streamex.StreamEx;
@@ -530,6 +531,9 @@ public class PythonDocumentationProvider extends AbstractDocumentationProvider i
final Module module = ModuleUtilCore.findModuleForPsiElement(element);
if (module != null && !PyDocumentationSettings.getInstance(module).isRenderExternalDocumentation()) return null;
PsiFileSystemItem file = element instanceof PsiFileSystemItem ? (PsiFileSystemItem)element : element.getContainingFile();
if (file instanceof PyiFile) {
return null;
}
if (file == null) return null;
if (PyNames.INIT_DOT_PY.equals(file.getName())) {
file = file.getParent();
@@ -566,6 +570,10 @@ public class PythonDocumentationProvider extends AbstractDocumentationProvider i
document.select("a.headerlink").remove();
final Elements parents = document.getElementsByAttributeValue("id", elementId).parents();
if (parents.isEmpty()) {
final Elements moduleElement = document.getElementsByAttributeValue("id", "module-" + moduleQName.toString());
if (moduleElement != null) {
return moduleElement.toString();
}
return document.toString();
}
return parents.get(0).toString();