https://www.gdiz.eu.org/2022/01/how-to-add-double-click-to-copy-pre.html