Artifact 5982a7c09e81ab407c52bb672d460ae87fdc883aadfe74024b4c680a75a4cce4:

• File src/copybtn.js
  • 2019-06-07 12:03:00 — part of check-in [16fcd48aa4] on branch copybtn.js-tweaks — Minor tweak to the copybtn.js interface to fall back to the default element ID "copy-IDTARGET". (user: florian size: 5020)
  • 2019-06-07 13:15:02 — part of check-in [759fbda4e8] on branch trunk — Minor improvements to the copy-button logic. (user: drh size: 5020)