linux: Scroll linewise up/down on ctrl-up/ctrl-down (#13269)
This matches the behavior of VS Code and JetBrains.
(Of course I implemented both actions myself before figuring out that we
already have actions to scroll a line up and down.)
Release Notes:
- N/A
cd2533de5aThorsten Ball committed on 6/19/2024, 3:27:40 PM· committed by GitHubparentacc9648