Differences
This shows you the differences between the selected revisions of the page.
| ui_pref_explorer 2013-04-29 | ui_pref_explorer 2020-05-22 (current) | ||
| Line 1: | Line 1: | ||
| - | ====== Explorer Tab (Preferences Dialog) ====== | + | ====== The Explorer Page (Preferences Dialog) ====== |
| - | The //Explorer tab// allows you to configure interface and behavioral options specific to [[ui_explorer|Explorer interface]]. | + | The //Explorer page// on the [[ui_preferences|Preferences dialog]] allows you to configure interface and behavioral options specific to [[ui_explorer|Explorer interface]]. |
| &screenshotpict(pref_explorer) | &screenshotpict(pref_explorer) | ||
| + | |||
| + | &toc_title_page_sections | ||
| ===== View Options ===== | ===== View Options ===== | ||
| Line 8: | Line 10: | ||
| ===== Further Reading ===== | ===== Further Reading ===== | ||
| - | Read more about [[ui_preferences|Preferences dialog]] and its other [[ui_preferences#tabs|tabs]]. | + | Read more about [[ui_preferences|Preferences dialog]] and its other [[ui_preferences#pages|pages]]. |