From ada5d2f9dc0198226e8566fb06a04b2f8d09b3d3 Mon Sep 17 00:00:00 2001
From: r00ster <r00ster91@protonmail.com>
Date: Fri, 30 Apr 2021 10:18:14 +0200
Subject: [PATCH] Reset the docs' copy path button after 1 second

---
 src/librustdoc/html/static/main.js | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index 95b18490641..772a63c86b8 100644
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -1490,6 +1490,8 @@ function hideThemeButtonState() {
     searchState.setup();
 }());
 
+let reset_button_timeout;
+
 function copy_path(but) {
     var parent = but.parentElement;
     var path = [];
@@ -1513,4 +1515,12 @@ function copy_path(but) {
     document.body.removeChild(el);
 
     but.textContent = '✓';
+    
+    window.clearTimeout(reset_button_timeout);
+    
+    function reset_button() {
+        but.textContent = '⎘';
+    }
+    
+    reset_button_timeout = window.setTimeout(reset_button, 1000);
 }