Appearance
PopClip Extensions Directory / Other Text Tools / Editor
Editor
Adds ins, del and mark tags to text.
Readme
Editor
Extension for adding HTML editor marks to text. Choose a style from the submenu:
- Mark:
<mark>(highlight) - Insert:
<ins datetime></ins>(insertion) - Delete:
<del datetime></del>(deletion) - Comment:
<!-- -->(comment)
Insert and Delete include a datetime attribute when Include Datetime is enabled in the extension options.
Info
- Created
Aug 17, 2026 - Version
2.0.6 - Identifier
com.brettterpstra.popclip.extension.editor - PopClip Version
≥2026.7.1 - Action Type
JavaScript - License
MIT License - Maintainer
Brett Terpstra - Source
ttscoff/popclipextensions/.../Editor.popclipext/