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

[warmup] IJPL-29: Add stub of API for warm-up

Browse Source 
GitOrigin-RevId: f5cae5ea02e0f21d2fdf82a3fbdcc9f6bea6c291
This commit is contained in:
Konstantin Nisht
2022-12-21 14:58:30 +03:00
committed by intellij-monorepo-bot
parent 33c4ae779d
commit 6e8005776f
16 changed files with 264 additions and 44 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/pluginJava/META-INF/python-community-plugin-java.xml
View File

@@ -17,6 +17,8 @@
<sdkEditorAdditionalOptionsProvider implementation="com.jetbrains.python.PythonSdkEditorAdditionalOptionsProvider"/>
<commandLineInspectionProjectConfigurator implementation="com.jetbrains.python.inspections.PythonPluginCommandLineInspectionProjectConfigurator"/>
<warmupConfiguration implementation="com.jetbrains.python.inspections.PythonPluginWarmupConfiguration"/>
</extensions>
<extensions defaultExtensionNs="Pythonid">