Differences
This shows you the differences between the selected revisions of the page.
| 2019-11-18 | 2020-05-22 (current) | ||
| font explicit anchor (martin) | grammar (martin) | ||
| Line 1: | Line 1: | ||
| - | ====== Internal Editor Page (Preferences Dialog) ====== | + | ====== The Internal Editor Page (Preferences Dialog) ====== |
| 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]]. | ||