MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-119514 Tip of the day in IntellliJ IDEA mentions Webstorm

Browse Source
This commit is contained in:
peter
2014-01-17 17:49:00 +01:00
parent 9ffaba9293
commit b7a28d606f
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/resources/tips/Terminal.html
+1 -1
View File
@@ -5,7 +5,7 @@
<body>
<p>You don't need to leave PyCharm to work with your favorite shell. Just choose
<p>You don't need to leave <span class="product">&productName;</span> to work with your favorite shell. Just choose
<span class="control">Tools | Open Terminal</span> on the main menu,
and enjoy using the embedded local terminal. </p>
<p class="image"><img src="images/terminal.png"></p>
resources-en/src/tips/Terminal.html
+1 -1
View File
@@ -5,7 +5,7 @@
<body>
<p>You don't need to leave WebStorm to work with your favorite shell. Just choose
<p>You don't need to leave <span class="product">&productName;</span> to work with your favorite shell. Just choose
<span class="control">Tools | Open Terminal</span> on the main menu,
and enjoy using the embedded local terminal. </p>
<p class="image"><img src="images/terminal.png"></p>