*redo, sorry

  • @marcos
    link
    421 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?