Added option to disable scroll sync.

[nagledb]

While this doesn't solve the issues in #1811 it does at least allow us to regain some manual control over scrolling when sync isn't working well.

It may also be a useful feature in its own right. Sometimes I find myself wanting to scroll up to look at something else as reference while I'm editing. This makes that easier.

[ZeroX-DG]

According to your use case:

Sometimes I find myself wanting to scroll up to look at something else as reference while I'm editing. This makes that easier.

I think you should add a hotkey for this so that you won't have to change the setting everytime you want to do that.

[ZeroX-DG]

LGTM 🎉

[nagledb]

Good idea on the hotkey. I'll see if I can figure how to to do that later.

[nagledb]

I did some work on adding a hotkey but couldn't get it to work. I may revisit later but I currently don't plan to update this PR further.

[ZeroX-DG]

@nagledb OK, we will merge it later. Hope that you can implement hotkey for this in the next PR.
Here is my last PR for the hotkey system, maybe you can get some information from it:
#1929