Ever since creating the Too Many Wrappers extension for PopClip, I’ve primarily been using it to wrap
<del> tags when editing in HTML and Markdown. I decided I should just make that it’s own extension, and put together a CriticMarkup extension while I was at it.
These make adding “editor’s marks” to Markdown documents as easy as selecting the text to highlight, insert or delete and clicking a button. In the case of CriticMarkup, holding down Control and Option inserts the necessary markup for signifying a suggested change. All CriticMarkup commands include an optional comment with your signature or initials, set in the preferences for the extension.
The different marks are all contained in one extension and triggered by holding down various modifier keys. I really wanted to use “Shift” in a few places (insertions), but have found that key problematic in my extensions. So think of Control as Shift in these for a slightly more mnemonically-sensible set of bindings.
In the extension’s preferences, there’s a toggle for datetime. If it’s left turned on,
<del> tags will include a
datetime attribute for the current time. Just a little microdata that comes in handy when reviewing.
- No modifier (just a click):
This extension allows the quick insertion of CriticMarkup syntax, a means for collaborative editing using plain text markup. Optionally fill in a signature or initials to have a comment included after every insert, deletion or change signifying who made the edit.
- No modifier (just click): Highlight
- Command: Deletion
- Control: Insertion
- Control-Option: Change
- Option: Comment