Differences
This shows you the differences between the selected revisions of the page.
| 2015-12-18 | 2016-07-29 | ||
| 5.8 internal editor options moved from ui_pref_editor to ui_pref_editor_internal (martin) | 5.9 stable released (martin) | ||
| Line 1: | Line 1: | ||
| ====== Editors Page (Preferences Dialog) ====== | ====== Editors Page (Preferences Dialog) ====== | ||
| The //Editor page// on the [[ui_preferences|Preferences dialog]] allows you to configure options for [[task_edit|external editors]] and editor preference order. | The //Editor page// on the [[ui_preferences|Preferences dialog]] allows you to configure options for [[task_edit|external editors]] and editor preference order. | ||
| - | |||
| - | //The internal editor options were moved to separate //[[ui_pref_editor_internal|Internal Editor Page]]// in the latest beta version.// &beta | ||
| &screenshotpict(pref_editor) | &screenshotpict(pref_editor) | ||