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
(or space-undo-undo)?