Differences
This shows you the differences between the selected revisions of the page.
| 2005-08-12 | 2005-08-12 | ||
| autoselection (martin) | external anchor (martin) | ||
| Line 12: | Line 12: | ||
| Specify [[file mask]], if you want use different editors for different file types. The first editor, whose autoselection mask matches name of edited file, will be used. The other of editors is defined on //[[ui_pref_editor|Editors tab]]// of Preferences dialog. | Specify [[file mask]], if you want use different editors for different file types. The first editor, whose autoselection mask matches name of edited file, will be used. The other of editors is defined on //[[ui_pref_editor|Editors tab]]// of Preferences dialog. | ||
| - | ===== Extenal Editor Options ===== | + | ===== [[external]] Extenal 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]]. | ||