Search page - Revision history

Jsimlo at 19:58, 31 May 2026

2026-05-31T19:58:27Z

Jsimlo at 15:43, 31 May 2026

2026-05-31T15:43:15Z

Jsimlo at 00:24, 29 May 2026

2026-05-29T00:24:55Z

Jsimlo at 00:20, 29 May 2026

2026-05-29T00:20:31Z

Jsimlo at 23:56, 28 May 2026

2026-05-28T23:56:47Z

Jsimlo at 00:13, 5 October 2021

2021-10-05T00:13:24Z

Jsimlo at 23:27, 4 October 2021

2021-10-04T23:27:57Z

Jsimlo at 23:27, 4 October 2021

2021-10-04T23:27:44Z

Jsimlo at 17:23, 27 November 2016

2016-11-27T17:23:06Z

Jsimlo at 17:53, 1 October 2013

2013-10-01T17:53:13Z

← Older revision		Revision as of 19:58, 31 May 2026
Line 33:		Line 33:

	{{tip}} Users can decide whether all searches are to be part of the history, or just the ones entered via the {{dialog\|Search bar}}.		{{tip}} Users can decide whether all searches are to be part of the history, or just the ones entered via the {{dialog\|Search bar}}.
−
−	~~{{todo\|describe search history settings}}~~

	===={{field\|Settings:Search\|Advanced}}====		===={{field\|Settings:Search\|Advanced}}====

@@ Line 28: / Line 28: @@
 The '''{{field|Settings:Search|Only after successful match}}''' setting disables automated {{dialog|Search bar}} hiding after unsuccessful uses. Successful match must be made in order to hide the {{dialog|Search bar}} and clean the workspace. This is the usual user's expected of behaviour &mdash; search until found, only then close the {{dialog|Search bar}} and work with the occurrence.
-The '''{{field|Settings:Search|Keep search history}}''' setting
+The '''{{field|Settings:Search|Keep search history}}''' setting is equivalent to the {{field|Search|Keep history}} option on the {{dialog|Search bar}}.
-The '''{{field|Settings:Search|Include searches via Find Selected}}''' setting
+The '''{{field|Settings:Search|Include searches via Find Selected}}''' setting adds searches initiated via {{feature|Find Selected}}, {{feature|Find Later}}, {{feature|Look for Selected}} and {{feature|Look for Later}} to the search history.
 {{todo|describe search history settings}}

← Older revision		Revision as of 00:24, 29 May 2026
Line 27:		Line 27:

	The '''{{field\|Settings:Search\|Only after successful match}}''' setting disables automated {{dialog\|Search bar}} hiding after unsuccessful uses. Successful match must be made in order to hide the {{dialog\|Search bar}} and clean the workspace. This is the usual user's expected of behaviour — search until found, only then close the {{dialog\|Search bar}} and work with the occurrence.		The '''{{field\|Settings:Search\|Only after successful match}}''' setting disables automated {{dialog\|Search bar}} hiding after unsuccessful uses. Successful match must be made in order to hide the {{dialog\|Search bar}} and clean the workspace. This is the usual user's expected of behaviour — search until found, only then close the {{dialog\|Search bar}} and work with the occurrence.
		+
		+	The '''{{field\|Settings:Search\|Keep search history}}''' setting
		+
		+	The '''{{field\|Settings:Search\|Include searches via Find Selected}}''' setting
		+
		+	{{todo\|describe search history settings}}

	===={{field\|Settings:Search\|Advanced}}====		===={{field\|Settings:Search\|Advanced}}====

@@ Line 1: / Line 1: @@
-<noinclude>{{manversion|6.3.0.8|dialog|Settings:Search}}__NOTOC__</noinclude>
+<noinclude>{{manversion|6.4.1.0|dialog|Settings:Search}}__NOTOC__</noinclude>
 ===={{field|Settings:Search|Search bar}}====
@@ Line 19: / Line 19: @@
 Note: Resetting the {{field|Search|Escapes}} option is not carried out upon suggesting selection to the {{dialog|Search bar}}. The {{field|Search|Escapes}} option is turned on or off automatically depending on whether the selection needs escaping (while taking {{field|Settings:Search|Keep Escapes on if possible}} setting above into consideration).
 The '''{{field|Settings:Search|Auto-hide search bar after searching}}''' setting automatically hides the {{dialog|Search bar}} after searching, as soon as the focus is moved from the {{dialog|Search bar}} to the document text (e.g. by mouse).

@@ Line 18: / Line 18: @@
 * The '''{{field|Settings:Search|Reset search bar options when opened: Escapes, RegExps}}''' setting resets the {{field|Search|Escapes}} and {{field|Search|RegExps}} options.
-Note: Resetting the {{field|Search|Escapes}} option is not carried out upon suggesting selection to the {{dialog|Search bar}}. The {{field|Search|Escapes}} option is turned on or off automatically depending on whether the selection needs escaping.
+Note: Resetting the {{field|Search|Escapes}} option is not carried out upon suggesting selection to the {{dialog|Search bar}}. The {{field|Search|Escapes}} option is turned on or off automatically depending on whether the selection needs escaping (while taking {{field|Settings:Search|Keep Escapes on if possible}} setting above into consideration).
 The '''{{field|Settings:Search|Auto-hide search bar after searching}}''' setting automatically hides the {{dialog|Search bar}} after searching, as soon as the focus is moved from the {{dialog|Search bar}} to the document text (e.g. by mouse).

@@ Line 3: / Line 3: @@
 ===={{field|Settings:Search|Search bar}}====
-The '''{{field|Settings:Search|Suggest selection to the search bar}}''' tells, whether to use current selection (if any) upon invoking the {{dialog|Search bar}}. If turned on, whenever the {{dialog|Search bar}} is being opened, current selection is copied into its {{field|Search|Find}} field. Note: Hotkey {{hotkey|Ctrl+Z}} can be used to go back to the previously specified text for convenience.
+The '''{{field|Settings:Search|Suggest selection to the search bar}}''' setting tells, whether to use current selection (if any) upon invoking the {{dialog|Search bar}}. If turned on, whenever the {{dialog|Search bar}} is being opened, current selection is copied into its {{field|Search|Find}} field. Note: Hotkey {{hotkey|Ctrl+Z}} can be used to go back to the previously specified text for convenience.
 Note: If {{field|Settings:Search|Suggest selection to the search bar}} is turned off, previously specified text is kept within the {{field|Search|Find}} field.
-The '''{{field|Settings:Search|Keep Escapes on if possible}}''' tells, whether the {{field|Search|Escapes}} option should be kept on upon suggesting selection to the search bar, if they were on before. The {{field|Search|Escapes}} option is turned on automatically when the selection contains characters which need escaping. And they are automatically turned off when the selection does not need escaping; unless this settings says to keep them on.
+The '''{{field|Settings:Search|Keep Escapes on if possible}}''' setting tells, whether the {{field|Search|Escapes}} option should be kept on upon suggesting selection to the search bar, if they were on before. The {{field|Search|Escapes}} option is turned on automatically when the selection contains characters which need escaping. And they are automatically turned off when the selection does not need escaping; unless this settings says to keep them on.
 Note: Keeping the {{field|Search|Escapes}} option on is safe even with selections that do not need escaping. However, one should remember turning {{field|Search|Escapes}} on, since characters then need to be escaped, or the {{field|Search|Escapes}} option must be turned off manually.
@@ Line 13: / Line 13: @@
 Also see below: Resetting the {{field|Search|Escapes}} option upon opening the {{dialog|Search bar}}.
-The '''{{field|Settings:Search|Reset search bar options when opened}}''' specifies, which {{feature|Search}} options are to be reset upon each new opening of the {{dialog|Search bar}}:
+The '''{{field|Settings:Search|Reset search bar options when opened}}''' settings specify, which {{feature|Search}} options are to be reset upon each new opening of the {{dialog|Search bar}}:
-* '''{{field|Settings:Search|Reset search bar options when opened: Match case}}''' resets the {{field|Search|Match case}} option.
+* The '''{{field|Settings:Search|Reset search bar options when opened: Match case}}''' setting resets the {{field|Search|Match case}} option.
-* '''{{field|Settings:Search|Reset search bar options when opened: Whole words}}''' resets the {{field|Search|Whole words}} option.
+* The '''{{field|Settings:Search|Reset search bar options when opened: Whole words}}''' setting resets the {{field|Search|Whole words}} option.
-* '''{{field|Settings:Search|Reset search bar options when opened: Escapes, RegExps}}''' resets the {{field|Search|Escapes}} and {{field|Search|RegExps}} options.
+* The '''{{field|Settings:Search|Reset search bar options when opened: Escapes, RegExps}}''' setting resets the {{field|Search|Escapes}} and {{field|Search|RegExps}} options.
 Note: Resetting the {{field|Search|Escapes}} option is not carried out upon suggesting selection to the {{dialog|Search bar}}. The {{field|Search|Escapes}} option is turned on or off automatically depending on whether the selection needs escaping.
-The '''{{field|Settings:Search|Auto-hide search bar after searching}}''' automatically hides the {{dialog|Search bar}} after searching, as soon as the focus is moved from the {{dialog|Search bar}} to the document text (e.g. by mouse).
+The '''{{field|Settings:Search|Auto-hide search bar after searching}}''' setting automatically hides the {{dialog|Search bar}} after searching, as soon as the focus is moved from the {{dialog|Search bar}} to the document text (e.g. by mouse).
 Note: This automated hiding occurs only if the {{dialog|Search bar}} has actually been used for searching. Therefore, opening the {{dialog|Search bar}} but not performing a search, does not auto-hide anything.
-The '''{{field|Settings:Search|Only after successful match}}''' disables automated {{dialog|Search bar}} hiding after unsuccessful uses. Successful match must be made in order to hide the {{dialog|Search bar}} and clean the workspace. This is the usual user's expected of behaviour &mdash; search until found, only then close the {{dialog|Search bar}} and work with the occurrence.
+The '''{{field|Settings:Search|Only after successful match}}''' setting disables automated {{dialog|Search bar}} hiding after unsuccessful uses. Successful match must be made in order to hide the {{dialog|Search bar}} and clean the workspace. This is the usual user's expected of behaviour &mdash; search until found, only then close the {{dialog|Search bar}} and work with the occurrence.
 ===={{field|Settings:Search|Advanced}}====
-The '''{{field|Settings:Search|Disable multi-threading}}''' allows to disable multi-threading in search routines in case of troubleshooting. Note: This option should not be tampered with without full understading of mutli-threading and its impacts. Use only if instructed to do so by the authors of the software.
+The '''{{field|Settings:Search|Disable multi-threading}}''' setting allows to disable multi-threading in search routines in case of troubleshooting. Note: This option should not be tampered with without full understading of mutli-threading and its impacts. Use only if instructed to do so by the authors of the software.
 Note: Although (theoretically) disabling multi-threading may speed up search initialization, it does not affect the speed of actual searching, unless the underlying system is incapable of true multi-threading support. On the other hand, by disabling multi-threading, one completely looses the option to cancel any ongoing search. Even if an abort dialog is shown (which is rather unlikely, but this can change from version to version and system to system), it won't stop the ongoing search if multi-threading is disabled.
-The '''{{field|Settings:Search|No newlines decoding in "Could not find" message}}''' specifies, whether to naturally show multiple lines in a message upon no occurrences found, or prefer showing {{string|\n}} instead, as they appear in the {{dialog|Search}} dialog.
+The '''{{field|Settings:Search|No newlines decoding in "Could not find" message}}''' setting specifies, whether to naturally show multiple lines in a message upon no occurrences found, or prefer showing {{string|\n}} instead, as they appear in the {{dialog|Search}} dialog.

← Older revision		Revision as of 23:27, 4 October 2021
Line 1:		Line 1:
−	<noinclude>{{manversion\|6.1.0.4\|dialog\|Settings:Search}}__NOTOC__</noinclude>	+	<noinclude>{{manversion\|6.3.0.8\|dialog\|Settings:Search}}__NOTOC__</noinclude>

	===={{field\|Settings:Search\|Search bar}}====		===={{field\|Settings:Search\|Search bar}}====