Differences
This shows you the differences between the selected revisions of the page.
2014-10-02 | 2020-05-22 (current) | ||
toc title page sections (martin) | grammar (martin) | ||
Line 1: | Line 1: | ||
- | ====== Explorer Page (Preferences Dialog) ====== | + | ====== The Explorer Page (Preferences Dialog) ====== |
The //Explorer page// on the [[ui_preferences|Preferences dialog]] 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]]. | ||