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

documentation link provider -> python-openapi

Browse Source
This commit is contained in:
Dmitry Jemerov
2012-08-13 13:06:59 +02:00
parent 0dd8ae909a
commit 1123c7b0d8
1 changed files with 0 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/openapi/src/com/jetbrains/python/documentation/PythonDocumentationLinkProvider.java
+18
View File
@@ -0,0 +1,18 @@
package com.jetbrains.python.documentation;
import com.intellij.openapi.extensions.ExtensionPointName;
import com.intellij.openapi.projectRoots.Sdk;
import com.intellij.psi.PsiElement;
import org.jetbrains.annotations.Nullable;
/**
* @author yole
*/
public interface PythonDocumentationLinkProvider {
ExtensionPointName<PythonDocumentationLinkProvider> EP_NAME = ExtensionPointName.create("Pythonid.documentationLinkProvider");
@Nullable
String getExternalDocumentationUrl(PsiElement element, PsiElement originalElement);
String getExternalDocumentationRoot(Sdk sdk);
}