From a686a50f148f8b45523751b1752e756fb910f14b Mon Sep 17 00:00:00 2001 From: Dmitry Trofimov Date: Thu, 6 Nov 2014 18:55:50 +0100 Subject: [PATCH] Don't show pydev banner in PyCharm. --- python/helpers/pydev/pydev_ipython_console_011.py | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/python/helpers/pydev/pydev_ipython_console_011.py b/python/helpers/pydev/pydev_ipython_console_011.py index 717aaccbc26e..e6a85b4308ef 100644 --- a/python/helpers/pydev/pydev_ipython_console_011.py +++ b/python/helpers/pydev/pydev_ipython_console_011.py @@ -34,13 +34,7 @@ from IPython.core import release from pydev_imports import xmlrpclib -pydev_banner_parts = [ - '\n', - 'PyDev -- Python IDE for Eclipse\n', # TODO can we get a version number in here? - 'For help on using PyDev\'s Console see http://pydev.org/manual_adv_interactive_console.html\n', -] - -default_pydev_banner_parts = default_banner_parts + pydev_banner_parts +default_pydev_banner_parts = default_banner_parts default_pydev_banner = ''.join(default_pydev_banner_parts)