Differences
This shows you the differences between the selected revisions of the page.
| ui_preferences 2022-06-15 | ui_preferences 2025-03-31 (current) | ||
| 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. | ||
| ===== [[pages]] Pages ===== | ===== [[pages]] Pages ===== | ||