Skip to content

Expand core.editor command list in Appendix#1283

Merged
ben merged 2 commits intoprogit:masterfrom
katrinleinweber:1269-aggregate-core.editor-commands
Aug 2, 2019
Merged

Expand core.editor command list in Appendix#1283
ben merged 2 commits intoprogit:masterfrom
katrinleinweber:1269-aggregate-core.editor-commands

Conversation

@katrinleinweber
Copy link
Copy Markdown
Contributor

@katrinleinweber katrinleinweber commented Aug 2, 2019

Following #1269 & #1270, it was suggested to me to improve the table in these two ways, see commits & diff. Do you think that makes sense?

If the goal of this list is to be exhaustive, the cost of duplicating the Emacs & Notepadd++ commands here seems neglible.
@ben
Copy link
Copy Markdown
Member

ben commented Aug 2, 2019

Nice. Thanks!

@ben ben merged commit 0079c6f into progit:master Aug 2, 2019
@katrinleinweber
Copy link
Copy Markdown
Contributor Author

You're welcome, and thanks for merging :-)

@katrinleinweber
Copy link
Copy Markdown
Contributor Author

Ah, oh! I wanted to include #1284 here, but you were too fast :-D

@ben
Copy link
Copy Markdown
Member

ben commented Aug 2, 2019

Whoops! Sometimes I can't tell if a PR is ready for the merge button or not. If you include a checklist and not everything is checked I'll definitely hold off though.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants