$copy-verbatim-js

$copy-verbatim-js — Script to support dynamic copy button on verbatim listings.

Parameter:

{}copy-verbatim-js

Defined in:

param.xsl

Used in:

main.xsl, param.xsl

Synopsis

  |$copy-verbatim-js := 'js/copy-verbatim.js'

Description

This script creates a dynamic “copy-to-clipboard” button on verbatim listings. The copied text will not include any callouts or other decorations in the listing.