@kirby @Hyperhidrosis
Erm… Yes, pressing Ctrl+D a few times isn't harder than using mouse to scroll — considering that if you're typing you are probably not holding it in your hand.
And if you find yourself browsing through hundreds of lines of code often, attempting to find something, you're also most likely doing it wrong — don't use your eyes, use search — your computer is quite good at it, probably better than you are 😆