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: | ||
| ====== Editors Tab (Preferences Dialog) ====== | ====== Editors Tab (Preferences Dialog) ====== | ||
| - | The //Editor tab// allows you to configure options for both [[task_edit|internal and external editors]]. Some of the options also affect [[task_edit|opening remote files]] in an associated local application. | + | The //Editor tab// on the [[ui_preferences|Preferences dialog]] allows you to configure options for both [[task_edit|internal and external editors]]. Some of the options also affect [[task_edit|opening remote files]] in an associated local application. |
| &screenshotpict(pref_editor) | &screenshotpict(pref_editor) | ||