search

Wilfred / difftastic

a structural diff that understands syntax 🟥🟩
https://difftastic.wilfred.me.uk/
MIT License
20.58k stars 333 forks source link

Verbose unicode expansion of Lean code #768

Open Seppel3210 opened 2 days ago

Seppel3210 commented 2 days ago

When writing Lean, which heavily uses unicode, my git diffs with difftastic look like this: image

Whereas, e.g., delta looks like this: image

Is there any way to tell difft to not escape unicode?

Wilfred commented 2 days ago

Could you share a sample file?

Seppel3210 commented 1 day ago

You should get a similar diff between this commit https://github.com/Seppel3210/batteries/commit/e3ffef5301b0c391097368dc3b4d372934381418 and its parent

Seppel3210 commented 1 day ago

I guess a file that's a bit smaller would be this https://github.com/Seppel3210/batteries/blob/main/Batteries/Data/Fin/Lemmas.lean

Wilfred commented 15 hours ago

I can't reproduce I'm afraid:

Screenshot from 2024-09-29 14-51-21

Could you confirm your difftastic version, your operating system, and your terminal emulator?

Seppel3210 commented 15 hours ago

FYI I'm on a trip without my laptop, so I'll take a couple days to respond