From 02a11c2b904428ed3efab088fa2140d7e2da4c34 Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Tue, 28 May 2013 15:04:19 +0200
Subject: [PATCH 1/2] Added terminal to PyCharm distribution.

---
 python/build/plugin-list.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/python/build/plugin-list.txt b/python/build/plugin-list.txt
index fd0c6fc2d86d..566909fe3ca2 100644
--- a/python/build/plugin-list.txt
+++ b/python/build/plugin-list.txt
@@ -53,3 +53,4 @@ textmate
 restClient
 puppet
 fileWatcher
+terminal

From c8e9390138a5133ec8c17424425caf0068f9abc9 Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Tue, 28 May 2013 15:25:27 +0200
Subject: [PATCH 2/2] Some comments.

---
 python/build/python_plugin_build.gant | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/python/build/python_plugin_build.gant b/python/build/python_plugin_build.gant
index 2b9eb23cefee..82b2ce53c9be 100644
--- a/python/build/python_plugin_build.gant
+++ b/python/build/python_plugin_build.gant
@@ -8,7 +8,8 @@ includeTargets << new File("${projectHome}/python/build/python_common.gant")
 setProperty("contribHome", "${projectHome}/contrib")
 setProperty("outDir", "${projectHome}/out/python")
 setProperty("ideaDir", "${outDir}/idea")
-setProperty("ideaHome", "${ideaDir}/jdk16")
+
+setProperty("ideaHome", "${ideaDir}/jdk16") //compiled idea
 
 setProperty("pluginHelp", "${outDir}/help")
 
@@ -19,7 +20,7 @@ setProperty("pluginHome", "${projectHome}/python")
 setProperty("pluginRevision", "${buildNumber}")
 
 setProperty("ideaLib", "${ideaHome}/lib")
-setProperty("ideaPlugins", "${ideaHome}/plugins")
+setProperty("ideaPlugins", "${ideaHome}/plugins") //compiled plugins
 
 
 setProperty("output", "${projectHome}/python/dist")
@@ -261,6 +262,9 @@ target(name: "compile", description: "Compile module python") {
     fileset(dir: "${ideaPlugins}/remote-run/lib") {
       include(name: "*.jar")
     }
+    fileset(dir: "${ideaPlugins}/terminal/lib") {
+      include(name: "*.jar")
+    }
     pathelement(location: restJarName)
     pathelement(location: localizationJarName)
   }