Differences

This shows you the differences between the selected revisions of the page.

ui_pref_editor_internal 2020-05-22		ui_pref_editor_internal 2026-06-03 (current)
	Line 20:		Line 20:

	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]].
		+
		+	===== [[behaviour]] Behaviour =====
		+
		+	Use //Disable smooth scrolling// to switch to line-by-line scrolling, when the default smooth scrolling is inconvenient.
		+
		+	The internal editor is not designed to open very large files. To avoid hangs or crashes, you will be warned when trying to edit a file that is too large. You can configure this warning using the //"Warn when editing files larger than ..."// option. &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]].

Documentation