diff -r 8c0761260d22 Doc/tools/static/copybutton.js --- a/Doc/tools/static/copybutton.js Sat Feb 27 08:42:14 2016 +0200 +++ b/Doc/tools/static/copybutton.js Sat Feb 27 15:19:35 2016 +0800 @@ -28,6 +28,7 @@ var button = $('>>>'); 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