Differences
This shows you the differences between the selected revisions of the page.
ui_pref_search 2024-09-24 | ui_pref_search 2024-09-24 (current) | ||
Line 1: | Line 1: | ||
====== The Search Page (Preferences Dialog) ====== | ====== The Search Page (Preferences Dialog) ====== | ||
The //Search page// on the [[ui_preferences|Preferences dialog]] shows results of option search, after you type option name or its part into the //Search// box. | The //Search page// on the [[ui_preferences|Preferences dialog]] shows results of option search, after you type option name or its part into the //Search// box. | ||
+ | |||
+ | &beta_feature | ||
&screenshotpict(pref_search) | &screenshotpict(pref_search) |