In some browsers you can get around this by selecting the text, keeping the mous...

prutschman on July 1, 2021 | parent | context | favorite | on: An efficient way to make hash maps with insertion ...

In some browsers you can get around this by selecting the text, keeping the mouse button down, hitting the keyboard shortcut for 'copy', then letting go. The selection will still be emptied, but the text is already in your clipboard.