Sort files in a tree / similar to GitHub

[koppor]

My case: https://github.com/JabRef/jabref/pull/11180/files

I want to add review comments on files. Since there are 30 files, it is hard to find the other file if the ordering of files does not match. I would like to see the same ordering in RFM and in GitHub

GitHub:

RFM:

I think, the GitHub ordering is good, because it orders first as folders, then as file names. Maybe, RFM can adapt that ordering, too?

[tsantalis]

@koppor
This is how the updated UI looks like. We are still working on it to make it more functional and user-friendly.

[tsantalis]

@koppor
BTW, you can update your docker image from https://hub.docker.com/r/tsantalis/refactoringminer
We release on every Monday midnight a new image from the latest commit of the project.

[tsantalis]

@koppor

UI update with folder icons instead of bullets

[koppor]

@tsantalis Nice! - The indent could be less, then the white space could be used to display additional information. Maybe a next step could be to be more similar to github and show the diff on the right side of the tree.

Maybe interesting link: Feedback to the GitHub tree is collected at https://github.com/orgs/community/discussions/12341.

[tsantalis]

@koppor

Tree file view updates:

• The folders can be expanded and collapsed
• The files are decorated with icons showing if the file is modified or moved/renamed

[tsantalis]

• Add vertical lines to show clearly the nesting of folders

[koppor]

Looks nice!

Intuitively, I clicked on the file name and nothing happens. I was expecting that the MonacoDiff shows up.

[tsantalis]

@koppor
This is the way we would like eventually to do it. Clicking on the file name should open the diff.
And also have the file tree as a left-side panel, so that the diff loads directly on the right side.

I will try as a temporary solution to open the monaco diff when clicking on the name.

[tsantalis]

@koppor
Added hypelink on the file name opening the monaco diff by default.

[koppor]

@tsantalis Thank you for the quick action taken. I always need to wait until Mondays for a new Docker build to try out. 😅

[tsantalis]

@koppor
I also updated the way the renamed files are displayed. I will push a new Docker images in a few minutes

[koppor]

To keep the number of issues low, I close this.

The current solution works good. The "endless scrolling" requirement is outlined at #672 (comment) and will behandled there.