Differences
This shows you the differences between the selected revisions of the page.
| ui_pref_editor_internal 2015-12-18 | ui_pref_editor_internal 2024-09-24 (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]]. | ||
| - | |||
| - | //In the latest stable release, these options are on //[[ui_pref_editor|Editor page]]//.// &beta | ||
| &screenshotpict(pref_editor_internal) | &screenshotpict(pref_editor_internal) | ||
| Line 8: | 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 15: | 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]]. | ||
| - | Use //Text color// to change text color. &beta_feature | + | ===== [[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 //Text color// to change text color. | ||
| Use //Default background// to change default background color. The color is overridden with [[task_connections#session_color|session color]], if one is set. The color can be changed for each editor window individually on [[ui_editor|the editor toolbar]]. | Use //Default background// to change default background color. The color is overridden with [[task_connections#session_color|session color]], if one is set. The color can be changed for each editor window individually on [[ui_editor|the editor toolbar]]. | ||
| - | ===== Font ===== | + | ===== [[behaviour]] Behaviour ===== |
| - | 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 //Disable smooth scrolling// to switch to line-by-line scrolling, when the default smooth scrolling is inconvenient. &beta_feature |
| ===== Further Reading ===== | ===== Further Reading ===== | ||
| Read more about [[ui_preferences|Preferences dialog]] and its other [[ui_preferences#pages|pages]]. | Read more about [[ui_preferences|Preferences dialog]] and its other [[ui_preferences#pages|pages]]. | ||