MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 06:39:38 +07:00
Code Issues Packages Projects Releases Wiki Activity

i18n: Add missing annotations in Python documentation providers

Browse Source 
Proper internationalization of PyDocumentationBuilder and
PythonDocumentationProvider is still in the making, though.

GitOrigin-RevId: 57745d8c00a9cff9f0d6de6e599482c88a5b147e
This commit is contained in:
Mikhail Golubev
2021-08-17 13:35:33 +03:00
committed by intellij-monorepo-bot
parent 9145a3c920
commit 1dc1f77281
8 changed files with 16 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
python/openapi/src/com/jetbrains/python/documentation/PythonDocumentationLinkProvider.java
View File

@@ -4,6 +4,7 @@ package com.jetbrains.python.documentation;
import com.intellij.openapi.extensions.ExtensionPointName;
import com.intellij.psi.PsiElement;
import com.intellij.psi.PsiNamedElement;
import org.jetbrains.annotations.Nls;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import org.jsoup.nodes.Document;
@@ -18,7 +19,7 @@ public interface PythonDocumentationLinkProvider {
String getExternalDocumentationUrl(PsiElement element, PsiElement originalElement);
@Nullable
default Function<Document, String> quickDocExtractor(@NotNull PsiNamedElement namedElement) {
default Function<Document, @Nls String> quickDocExtractor(@NotNull PsiNamedElement namedElement) {
return null;
}
}