Hover on filename should show full path

[koppor]

In a large diff JabRef/jabref#12990, it is not easy to know in which folder which file is located.

Wish: Hover on filename shows full path.

[tsantalis]

@koppor
Is ArgumentProcessor split into two files?

The path can be reconstructed by following the parent directories in the file tree.

[tsantalis]

Based on the comment
/// TODO: This is a clone of {@link org.jabref.cli.ArgumentProcessor} in jabkit - should be unified

It seems the file has been copied-pasted in jabkit/src/main/java/org/jabref/cli/ArgumentProcessor.java

OK, I understand why you need an on-demand diff.

@pouryafard75
Would it be possible to click with Ctrl on two files and generate a diff on the fly?
@koppor wants to generate diff between a deleted and an added file, or between a matched and an added file.

An alternative UI implementation would be to right-click on a matched or a deleted file, and have a pop-up allowing to select one file from the list of added files.

[pouryafard75]

@tsantalis I think that's a nice feature to add. I am on it.

[tsantalis]

This is fixed with PR #901
@pouryafard75
I think we need checkboxes also on the moved/renamed files, not just the modified one.

Oliver wants to diff
src/main/java/org/jabref/cli/ArgumentProcessor.java
with
jabkit/src/main/java/org/jabref/cli/ArgumentProcessor.java

[pouryafard75]

@tsantalis
Yes, makes sense.

Could you please remove the _checkbox from this line

RefactoringMiner/src/main/java/gui/webdiff/dir/DirectoryDiffView.java

Line 190 in 51db913

.if_(!external && _checkBox)

It will do the job.

[tsantalis]

@pouryafard75
Can you please check why GTS is generating this diff. We should be able to make a diff for this one. The files look quite similar.