New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
There should be a way to create an Editor's Note #436
Comments
+1, I've often thought of this. Also, when the annotations WG comes along, allowing generalized annotations of editors drafts, perhaps with hooks into GitHub issues list? (just dreaming now) |
Yeah... I like that. Next time! On Wed, May 6, 2015 at 2:34 PM, Gregg Kellogg notifications@github.com
Shane McCarron |
This was addressed in pull request #437 |
… to do on this idea.
Right now there are Note, Issue, and Warning classes. There should be an ednote class that inserts an editor's note into the document.
The text was updated successfully, but these errors were encountered: