Differences
This shows you the differences between the selected revisions of the page.
| 2022-06-15 | 2024-09-24 (current) | ||
| consistency (martin) | 6.4 Search for Preferences options (martin) | ||
| Line 6: | Line 6: | ||
| &screenshotpict(pref_environment) | &screenshotpict(pref_environment) | ||
| + | |||
| + | You can use //Search// box to search for an option by typing its name or a part of it. [[ui_pref_search|//Search// page]] with results will open. &beta_feature | ||
| ===== [[pages]] Pages ===== | ===== [[pages]] Pages ===== | ||