Differences
This shows you the differences between the selected revisions of the page.
| 2020-05-22 | 2024-09-24 (current) | ||
| grammar (martin) | 6.4 Issue 128 – Optionally disable smooth scrolling in an internal editor (martin) | ||
| 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]]. | ||