diff --git a/platform/platform-resources-en/src/tips/WildcardsInNavigationPopups.html b/platform/platform-resources-en/src/tips/WildcardsInNavigationPopups.html index 016a70f16685..93e7f2202773 100644 --- a/platform/platform-resources-en/src/tips/WildcardsInNavigationPopups.html +++ b/platform/platform-resources-en/src/tips/WildcardsInNavigationPopups.html @@ -9,7 +9,7 @@ Go to Symbol and Go to File pop-up frames, use * and space symbols.

-

* stands for any symbol.

+

* stands for any symbols.

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.

diff --git a/python/python-community-ide-resources/resources/tips/WildcardsInNavigationPopups.html b/python/python-community-ide-resources/resources/tips/WildcardsInNavigationPopups.html index 87958ee8ee10..56b37274722f 100644 --- a/python/python-community-ide-resources/resources/tips/WildcardsInNavigationPopups.html +++ b/python/python-community-ide-resources/resources/tips/WildcardsInNavigationPopups.html @@ -9,7 +9,7 @@ Go to Symbol and Go to File pop-up frames, use * and space symbols.

-

* stands for any symbol.

+

* stands for any symbols.

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.