Differences

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

ui_pref_editor_internal 2019-11-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]].

	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. &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