Switch PyCharm plugin dependency on Python module.

Bump version to 4.13.2.

Author: donkirkby

contributing-pycharm.md

@@ -47,6 +47,15 @@ two types of IDEA release.
 [IDEA build number ranges]: https://plugins.jetbrains.com/docs/intellij/build-number-ranges.html
 [IDEA source code]: https://github.com/JetBrains/intellij-community
 
+Writing an IDEA plugin is complicated, so start with the
+[JetBrains documentation]. When you run into trouble, try searching or posting
+on the [JetBrains Platform forum]. There are more useful links in the
+[Plugin template].
+
+[JetBrains documentation]: https://plugins.jetbrains.com/docs/intellij/developing-plugins.html
+[JetBrains Platform forum]: https://platform.jetbrains.com/
+[Plugin template]: https://github.com/JetBrains/intellij-platform-plugin-template#useful-links
+
 ### Publish a new release for the PyCharm plugin
 1. Check that all the Python unit tests pass, by running tox.
 2. Update the version number in `about.py` and `pycharm/build.gradle.kts`, and

plugin/PySrc/space_tracer/about.py

@@ -3,7 +3,7 @@
 Don't put any code in here, because it must be safe to execute in setup.py. """
 
 __title__ = 'space_tracer'  # => name in setup.py
-__version__ = '4.13.0'
+__version__ = '4.13.2'
 __author__ = "Don Kirkby"
 __author_email__ = "donkirkby@gmail.com"
 __description__ = "Trade time for space when debugging your code."

pycharm/build.gradle.kts

@@ -2,11 +2,11 @@ import org.jetbrains.intellij.platform.gradle.IntelliJPlatformType
 
 plugins {
     id("java")
-    id("org.jetbrains.intellij.platform") version "2.10.5"
+    id("org.jetbrains.intellij.platform") version "2.11.0"
 }
 
 group = "io.github.donkirkby"
-version = "4.13.1"
+version = "4.13.2"
 
 repositories {
     mavenCentral()
@@ -20,12 +20,12 @@ repositories {
 // Read more: https://plugins.jetbrains.com/docs/intellij/tools-intellij-platform-gradle-plugin.html
 dependencies {
     intellijPlatform {
-        intellijIdeaUltimate("2025.3")
+        intellijIdeaUltimate("2025.3.2")
 
         // "Pythonid" for ultimate, "PythonCore" for community. Find compatible
         // ultimate versions at https://plugins.jetbrains.com/plugin/631
         // community versions at https://plugins.jetbrains.com/plugin/7322
-        plugin("PythonCore:253.28294.334")
+        plugin("PythonCore:253.30387.90")
 
         pluginVerifier()
     }

pycharm/src/main/resources/META-INF/plugin.xml

@@ -29,7 +29,7 @@
     <!-- please see http://www.jetbrains.org/intellij/sdk/docs/basics/getting_started/plugin_compatibility.html
          on how to target different products -->
     <depends>com.intellij.modules.lang</depends>
-    <depends>PythonCore</depends>
+    <depends>com.intellij.modules.python</depends>
     <extensions defaultExtensionNs="com.intellij">
         <fileEditorProvider
                 implementation="io.github.donkirkby.livepycharm.SplitFileEditorProvider"/>