Differences
This shows you the differences between the selected revisions of the page.
ui_pref_explorer 2008-05-23 | 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 ===== | ||
The //Show full path on address bar// makes the full path be displayed on //Address// [[ui_toolbars|toolbar]] instead of the last path component only. | The //Show full path on address bar// makes the full path be displayed on //Address// [[ui_toolbars|toolbar]] instead of the last path component only. | ||
+ | |||
+ | ===== Further Reading ===== | ||
+ | Read more about [[ui_preferences|Preferences dialog]] and its other [[ui_preferences#pages|pages]]. |