Le mar. 8 sept. 2020 à 17:27, Eli Zaretskii <eliz@gnu.org> a écrit :
I don't know what you tried, but as long as you just use undo and
don't redo (which is what most users do), I don't see how you can
distinguish between the default undo and undo-tree.
Do you have data backing the claim that most users do not use redo