deactivate double-tap undo
I'd like to disable the double-tap undo feature, since I don't use it, but it's sometimes triggered accidentally.
1
vote
Thomas Koberstein
shared this idea