Plugin tag: editor button

Adds two convenient buttons to easily add/remove an id attribute to any element.