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-167361 Tip of the day, goto-message, missleading.

Browse Source
This commit is contained in:
peter
2017-02-08 14:47:47 +01:00
parent b481290b7e
commit e44c971bbe
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources-en/src/tips/WildcardsInNavigationPopups.html
+1 -1
View File
@@ -9,7 +9,7 @@
<span class="control">Go to Symbol</span> and
<span class="control">Go to File</span> pop-up frames,
use <span class="code_emphasis">*</span> and space symbols.</p>
<p><span class="code_emphasis">*</span> stands for any symbol.</p>
<p><span class="code_emphasis">*</span> stands for any symbols.</p>
<p>Space at the end means the end of a pattern, and the preceding string will be considered not just a prefix but
a whole pattern. The list of the suggested names will be reduced accordingly.</p>
<p class="image"><img src="images/wildcard_goto.png"></p>
python/python-community-ide-resources/resources/tips/WildcardsInNavigationPopups.html
+1 -1
View File
@@ -9,7 +9,7 @@
<span class="control">Go to Symbol</span> and
<span class="control">Go to File</span> pop-up frames,
use <span class="code_emphasis">*</span> and space symbols.</p>
<p><span class="code_emphasis">*</span> stands for any symbol.</p>
<p><span class="code_emphasis">*</span> stands for any symbols.</p>
<p>Space at the end means the end of a pattern, and the preceding string will be considered not just a prefix but a whole pattern.
The list of the suggested names will be reduced accordingly.</p>
<p class="image"><img src="images/wildcard_goto.png"></p>