Make names selectable in EditableName

Closes #1468 (closed)

The <nav class="breadcrumb"> used to display ElementPaths in the header of the element details view adds a user-select: none; which disables selecting the text. I updated the EditableName to force just the element name to be selectable again.

It was also reported that the element name was hard to copy from the details panel, but this cannot easily be fixed. There are two user-select values which we could use:

• user-select: text, which is the current behavior. When double clicking, both the element name and type are selected because they are part of the same line of text.
• user-select: contain: When double-clicking, only the text inside of this HTML element is selected, so only the element name is selected. That would be perfect for us… except it is not implemented in any browser. It only exists in the CSS spec and nowhere else.

So this only fixes the names in the ElementPath, which should already be a smol QoL improvement.

changed milestone to %Arkindex 1.7.1

requested review from @babadie

assigned to @erouchet

added 2 commits

• 27237655 - 1 commit from branch release-1.7.1
• 700b356a - Make names selectable in EditableName

Compare with previous version

TIL about user-select CSS property

This is already better for the nav bar

merged