tsantalis/RefactoringMiner

Click on non-touched lines should also scroll

koppor opened this issue · 3 comments

Currently, when clicking on deleted and inserted, the views sync.

When clicking on non-touched lines, nothing happens.

Wish: Clicking on non-touched lines, the other view should scroll to that position.

(This is a workaround for #672)

@koppor

Double-clicking on non-touched lines auto-scrolls and aligns the editors.

@koppor

Double-clicking on non-touched lines auto-scrolls and aligns the editors.

Oh, and for the touched ones a single click? Why this UI difference? 😅

@pouryafard75
Could you please clarify why double-click for unchanged lines and not single-click?

I tested the new feature, and it seems now that both changed and unchanged lines need a double-click.