Differences
This shows you the differences between the selected revisions of the page.
| 2005-08-16 | 2005-09-28 | ||
| reworded to avoid duplicating the same information + fixed typo (martin) | no summary (204.77.58.45) | ||
| Line 12: | Line 12: | ||
| If you want use different editors for different file-types, specify [[file mask]] matching file-type(s) to be associated with the particular editor. The first editor, whose autoselection mask matches name of edited file, will be used. The order of editors is defined on //[[ui_pref_editor|Editors tab]]// of Preferences dialog. | If you want use different editors for different file-types, specify [[file mask]] matching file-type(s) to be associated with the particular editor. The first editor, whose autoselection mask matches name of edited file, will be used. The order of editors is defined on //[[ui_pref_editor|Editors tab]]// of Preferences dialog. | ||
| - | ===== [[external]] Extenal Editor Options ===== | + | ===== [[external]] External Editor Options ===== |
| The //External editor opens multiple files in one window (process)// checkbox enables special behaviour needed to support editors that [[task_edit#problems_with_some_external_editors|open multiple files in one window]]. | The //External editor opens multiple files in one window (process)// checkbox enables special behaviour needed to support editors that [[task_edit#problems_with_some_external_editors|open multiple files in one window]]. | ||