Handle double-click for mirrored cursors in HTML tags

[Elarcis]

Mirrored cursors allow for the same changes to be made on corresponding pairs of tags.

When double-clicking on a word in an opening or closing tag, only the clicked word is selected, without mirroring. It’d be nice for the other word to be selected and mirrored as well.

<!-- For example, if I want to modify that tag, I’m tempted 
to double click one word and type text to replace it -->
<my-tag></my-tag>

<!-- Currently, double-clicking `tag` and typing
`element` gives that annoying result. -->
<my-element></my-tag>

<!-- Instead, it should have selected the matching text 
on the closing element and modified it as well. -->
<my-element></my-element>

[octref]

Duplicate of #86052.

[vscodebot]

Thanks for creating this issue! We figured it's covering the same as another one we already have. Thus, we closed this one as a duplicate. You can search for existing issues here. See also our issue reporting guidelines.

Happy Coding!

[Elarcis]

Whoops sorry! It didn’t show up in my prior search, guess I should have tried more keywords :P