Differences
This shows you the differences between the selected revisions of the page.
| 2015-12-18 | 2015-12-18 | ||
| created 5.8 internal editor options moved from ui_pref_editor (martin) | lik styling (martin) | ||
| Line 2: | Line 2: | ||
| The //Internal Editor page// on the [[ui_preferences|Preferences dialog]] allows you to configure options for [[ui_editor|internal editor]]. | The //Internal Editor page// on the [[ui_preferences|Preferences dialog]] allows you to configure options for [[ui_editor|internal editor]]. | ||
| - | //In the latest stable release, these options are on //[[ui_pref_editor|Editor]]// page.// &beta | + | //In the latest stable release, these options are on //[[ui_pref_editor|Editor page]]//.// &beta |
| &screenshotpict(pref_editor_internal) | &screenshotpict(pref_editor_internal) | ||