Differences
This shows you the differences between the selected revisions of the page.
| 2005-05-05 | 2005-05-05 | ||
| 3.7.5 redesigned (martin) | task_edit (martin) | ||
| Line 1: | Line 1: | ||
| ====== Editor Tab ====== | ====== Editor Tab ====== | ||
| - | The //Editor tab// allows you to configure options for both [[ui_editor|internal]] and external editors. Some of the options also affect [[task_edit|opening remote files]] in an associated local application. | + | 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. |
| &screenshotpict(pref_editor) | &screenshotpict(pref_editor) | ||