*redo, sorry

  • @[email protected]
    link
    fedilink
    391 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?