Quick-edit element tags

Quick-edit the HTML Element tag

You can double click on the opening tag name of a node in the Elements Panel to edit it. When you do, the closing tag is automatically updated with your change.