From e44c971bbec8446dbf2a01dbc63531fee62c45bd Mon Sep 17 00:00:00 2001 From: peter Date: Wed, 8 Feb 2017 13:59:50 +0100 Subject: [PATCH] IDEA-167361 Tip of the day, goto-message, missleading. --- .../src/tips/WildcardsInNavigationPopups.html | 2 +- .../resources/tips/WildcardsInNavigationPopups.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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.