Issue #26246: Set initial value of the hidden attr when creating copy button.
Patch by Liang-Bo Wang.
diff --git a/Doc/tools/static/copybutton.js b/Doc/tools/static/copybutton.js
index 593b594..52e6c2d 100644
--- a/Doc/tools/static/copybutton.js
+++ b/Doc/tools/static/copybutton.js
@@ -27,6 +27,7 @@
var button = $('<span class="copybutton">>>></span>');
button.css(button_styles)
button.attr('title', hide_text);
+ button.data('hidden', 'false');
jthis.prepend(button);
}
// tracebacks (.gt) contain bare text elements that need to be