devtools

[Product Quality] Fix copy-to-clipboard behavior in the console

#9204

Merged