diff --git a/resources-en/src/tips/SearchInSettings.html b/resources-en/src/tips/SearchInSettings.html new file mode 100644 index 000000000000..2858bdfdc42e --- /dev/null +++ b/resources-en/src/tips/SearchInSettings.html @@ -0,0 +1,13 @@ + + + + + + +
You can quickly find a setting you need in the Settings dialog, without browsing through the numerous options. +Just type some characters that to your opinion exist in the option description, and the list of settings will reduce to the +matching ones. Select the desired entry, and see the setting that contains the entered characters highlighted: +

+
+ + diff --git a/resources-en/src/tips/images/search_settings.png b/resources-en/src/tips/images/search_settings.png new file mode 100644 index 000000000000..a689f1452052 Binary files /dev/null and b/resources-en/src/tips/images/search_settings.png differ diff --git a/resources-en/src/tips/tips.xml b/resources-en/src/tips/tips.xml index f4463faadd44..6d3a222eba79 100644 --- a/resources-en/src/tips/tips.xml +++ b/resources-en/src/tips/tips.xml @@ -84,6 +84,7 @@ +