Andrew Pritchard e5f74b6c86 Option to display copy buttons. (#1050) ... * Option to display copy buttons. - Added field to playpen data structure - Communicate through window.playpen_copyable - Javascript updated to check before displaying copy buttons. * html -> html_config Also: - update description of copyable in source code. - update description of line_numbers (my last PR to this repository)		2019-10-17 12:44:54 +02:00
..
src	Option to display copy buttons. (#1050)	2019-10-17 12:44:54 +02:00
book.toml	Added line numbers to editable sections of code.	2019-09-24 21:27:02 +08:00