Closed kindaro closed 6 years ago
The name and hot key offered by the "Diff" operation are hardly intuitive. There is even an open issue (#57) about it. I thought maybe "Compare" could be a better label.
Pro:
Contra:
Habitual users will have to re-learn.
If there is consensus, I can take it upon myself to craft a patch and make a pull request.
I'll like the Idea
I think this can be closed now, since the pull request is merged.
The name and hot key offered by the "Diff" operation are hardly intuitive. There is even an open issue (#57) about it. I thought maybe "Compare" could be a better label.
Pro:
Contra:
Habitual users will have to re-learn.
If there is consensus, I can take it upon myself to craft a patch and make a pull request.