Add terminal plugin dependency

diff --git a/python/python-terminal/resources/META-INF/plugin.xml b/python/python-terminal/resources/META-INF/plugin.xml
index 8fa21bba9f507ba0c11463f7fc1c8a97b75357b2..742ab2cd25ccc5c202e3388b0dd62a6045edded0 100644 (file)
--- a/python/python-terminal/resources/META-INF/plugin.xml
+++ b/python/python-terminal/resources/META-INF/plugin.xml
@@ -5,6 +5,7 @@
   <vendor>JetBrains</vendor>
 
   <depends>com.intellij.modules.python</depends>
+  <depends>org.jetbrains.plugins.terminal</depends>
 
   <xi:include href="/META-INF/python-terminal-plugin.xml" xpointer="xpointer(/idea-plugin/*)"/>