Opening the lean server also copies the content

Stream: Zulip meta

[Damiano Testa]

I think that this used to not be the case, but now, when I click on some code to open the online editor, the code gets copied to the clipboard.

I am pretty sure that this was not the case a few days ago. Is anyone else observing this? I am working on Linux with Firefox.

[Damiano Testa]

For instance

-- copy something else and open this code

[Alex Vandiver]

Thanks for the report! I can replicate -- the "Copied!" tooltip even shows up.

[Damiano Testa]

Ah, knowing to look for it, I see the Copied! now! It was so quick that I missed it.

[Alex Vandiver]

The fix for this is now live, FWIW.

[Damiano Testa]

That's great, thank you very much!