• marcos@lemmy.world
    link
    fedilink
    arrow-up
    11
    ·
    1 year ago

    Shouldn’t it be used for redo?

    I mean, yeah, of course it should be paste. But if you decide to break the established convention, isn’t the next option redo, instead of undo?