Differences
This shows you the differences between the selected revisions of the page.
| 2008-05-23 | 2012-05-07 | ||
| term commander/explorer interface (martin) | typography (martin) | ||
| 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// allows you to configure interface and behavioral options specific to [[ui_explorer|Explorer interface]]. |
| &screenshotpict(pref_explorer) | &screenshotpict(pref_explorer) | ||