> If you extend source code with line numbers, make sure those aren’t selectable
[shakes fist at so many blogs]
[shakes fist at so many blogs]
Just remove the line numbers, every editor can mark in block mode today. Some snippets won't work without further code anyways.
.line-number { user-select: none; -moz-user-select: none; -webkit-user-select: none; }
...should be sufficient to prevent that bit from being selected without JS.