search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
169 stars 39 forks source link

"Shortcut" is typoed as "Shortcurs" #110

Closed pragma- closed 2 years ago

pragma- commented 2 years ago

Just a quick heads-up to let you know that in the Visual Studio Marketplace description, I noticed "Shortcut" was typoed as "Shortcurs". I see the same typo here in the README.md.

pragma- commented 2 years ago

I have a question. Would it have been appropriate to create a PR for a simple one-word typofix? It seems to me that you would think I was trying to add my name to the list of contributors without having made any significant contribution. I felt that creating an issue would be the least invasive way to let you know of this typo. I'd like to know your thoughts on this. If I had made a PR would it have annoyed you or would you have happily accepted it?

banacorn commented 2 years ago

Thank you for reporting this. It'd be great if you can make a PR ❤️!

pragma- commented 2 years ago

Sure thing. PR #114 fixes the typo. My editor and git both complained about trailing whitespace on some lines, so I cleaned those up too.