• Kai Willadsen's avatar
    Fix scrollbar position reset after merge actions · 86bf5d50
    Kai Willadsen authored
    The previous code attempted to reset the scrollbar position, but was
    foiled by the immediate _sync_vscroll after setting the new text. We
    fix this here by taking the vscroll lock before setting the new text.
filediff.py 66.9 KB