Differences
This shows you the differences between the selected revisions of the page.
| 2008-04-18 | 2008-05-23 | ||
| preferences dialog in caption (martin) | term commander/explorer interface (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-like interface]]. | + | The Explorer tab allows you to configure interface and behavioral options specific to [[ui_explorer|Explorer interface]]. |
| &screenshotpict(pref_explorer) | &screenshotpict(pref_explorer) | ||