From db7342140ae6eb567bc7cc0c30d447c7edf194f7 Mon Sep 17 00:00:00 2001 From: Dmitry Trofimov Date: Wed, 17 Dec 2014 18:21:22 +0100 Subject: [PATCH] Create new console tab toolbar button (PY-14513). --- .../python/console/PydevConsoleRunner.java | 36 +++++++++++++++++-- .../console/PythonConsoleToolWindow.java | 4 +-- 2 files changed, 36 insertions(+), 4 deletions(-) diff --git a/python/src/com/jetbrains/python/console/PydevConsoleRunner.java b/python/src/com/jetbrains/python/console/PydevConsoleRunner.java index f662cc5963a2..4a8e1e60b7c6 100644 --- a/python/src/com/jetbrains/python/console/PydevConsoleRunner.java +++ b/python/src/com/jetbrains/python/console/PydevConsoleRunner.java @@ -280,6 +280,9 @@ public class PydevConsoleRunner extends AbstractConsoleRunnerWithHistory getAdditionalEnvs() { - return addDefaultEnvironments(sdk, environmentVariables,getProject()); + return addDefaultEnvironments(sdk, environmentVariables, getProject()); } }; } @@ -494,7 +508,7 @@ public class PydevConsoleRunner extends AbstractConsoleRunnerWithHistory