Differences
This shows you the differences between the selected revisions of the page.
| 2013-04-29 | 2013-04-29 | ||
| Further reading final (Petr) | Link to prefs dialog in the first sentence (Petr) | ||
| Line 1: | Line 1: | ||
| ====== Explorer Tab (Preferences Dialog) ====== | ====== Explorer Tab (Preferences Dialog) ====== | ||
| - | The //Explorer tab// allows you to configure interface and behavioral options specific to [[ui_explorer|Explorer interface]]. | + | The //Explorer tab// 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) | ||