Differences
This shows you the differences between the selected revisions of the page.
| 2024-09-24 | 2025-03-31 (current) | ||
| beta (martin) | stable 6.5 released (martin) | ||
| 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) | ||