MIRROR: javascript for 🐜's, a tiny runtime with big ambitions
change timing in copy button
+2
-2
+2
-2
docs/reports/public/assets/report.js
+2
-2
docs/reports/public/assets/report.js
···
17
17
copyText(url)
18
18
.then(() => {
19
19
const original = link.textContent;
20
-
link.textContent = 'Copied URL to clipboard.';
20
+
link.textContent = 'Copied URL to clipboard';
21
21
window.setTimeout(() => {
22
22
link.textContent = original;
23
-
}, 1200);
23
+
}, 2000);
24
24
})
25
25
.catch(() => (window.location.href = url));
26
26
});