Differences
This shows you the differences between the selected revisions of the page.
ui_pref_editor_internal 2016-07-29 | ui_pref_editor_internal 2020-05-22 (current) | ||
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]]. | ||
Line 6: | Line 6: | ||
&toc_title_page_sections | &toc_title_page_sections | ||
- | ===== Display ===== | + | ===== [[display]] Display ===== |
The //Wrap long lines// checkbox makes long lines be wrapped in an [[ui_editor|internal editor]]. When unchecked, the horizontal scrollbars appear instead to allow you to see long lines. | The //Wrap long lines// checkbox makes long lines be wrapped in an [[ui_editor|internal editor]]. When unchecked, the horizontal scrollbars appear instead to allow you to see long lines. | ||
Line 13: | Line 13: | ||
Use //Default encoding// to select default encoding for edited files. If the file includes UTF-8 BOM, UTF-8 encoding is used, disregarding the preference. You can also change encoding for particular file on [[ui_editor|internal editor window]]. | Use //Default encoding// to select default encoding for edited files. If the file includes UTF-8 BOM, UTF-8 encoding is used, disregarding the preference. You can also change encoding for particular file on [[ui_editor|internal editor window]]. | ||
- | ===== Font ===== | + | ===== [[font]] Font ===== |
Use //Select Font// button to select font for an [[ui_editor|internal editor]]. The preview on the right will show you what the font looks like. | Use //Select Font// button to select font for an [[ui_editor|internal editor]]. The preview on the right will show you what the font looks like. |