Fix: diff-hl-magit-post-refresh wrong file name

[danielfleischer]

git diff-tree is used and generates relative (to top level) file names.
buffer-file-name generates full paths.

The following condition always fails due to the file names being different:

diff-hl/diff-hl.el

Line 1440 in 7d873b2

((member file modified-files)

This fixes the refresh related to magit actions.

[dgutov]

Hi!

(file-name-nondirectory file) will return the file name stripped of all directory parts.

Maybe you wanted to use file-relative-name?

I suggest you also add a message in there printing the values on mismatch and post it the result here (with the fix not applied yet). To document the failure as it happens.

[danielfleischer]

Thank you.

First, you are correct, I focused on top-level when testing. Fixed in 581c577.

Second, when debugging the cond branch with:

(or
 (member file modified-files)
 (ignore (message "FILE %s NOT IN %s" file modified-files)))

one gets:

FILE /Users/dan/Documents/Projects/my_project/fileA NOT IN (fileA)

hence the filename normalization.