From b7a28d606f62e9e4d59371b2d1044af2d868f598 Mon Sep 17 00:00:00 2001 From: peter Date: Fri, 17 Jan 2014 17:49:00 +0100 Subject: [PATCH] IDEA-119514 Tip of the day in IntellliJ IDEA mentions Webstorm --- python/resources/tips/Terminal.html | 2 +- resources-en/src/tips/Terminal.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/python/resources/tips/Terminal.html b/python/resources/tips/Terminal.html index 0946f5bfbc9f..fcebc658521a 100644 --- a/python/resources/tips/Terminal.html +++ b/python/resources/tips/Terminal.html @@ -5,7 +5,7 @@ -

You don't need to leave PyCharm to work with your favorite shell. Just choose +

You don't need to leave &productName; to work with your favorite shell. Just choose Tools | Open Terminal on the main menu, and enjoy using the embedded local terminal.

diff --git a/resources-en/src/tips/Terminal.html b/resources-en/src/tips/Terminal.html index 84957c7b2e8f..fcebc658521a 100644 --- a/resources-en/src/tips/Terminal.html +++ b/resources-en/src/tips/Terminal.html @@ -5,7 +5,7 @@ -

You don't need to leave WebStorm to work with your favorite shell. Just choose +

You don't need to leave &productName; to work with your favorite shell. Just choose Tools | Open Terminal on the main menu, and enjoy using the embedded local terminal.