Differences

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

ui_pref_editor_internal 2020-05-22		ui_pref_editor_internal 2025-03-31 (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.

	===== 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