Topic on Extension talk:PreToClip

1. Edit page via VE
2. Save it
3. Without reload -- hover on <pre> element
4. Button does not appear

Smth like that should help:

Nice, thank you! I'll create a patch.

https://gerrit.wikimedia.org/r/c/mediawiki/extensions/PreToClip/+/1037775

Thanks!