<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><br>
</p>
<div class="moz-cite-prefix">El 13/3/25 a las 17:58, H. Hirzel
escribió:<br>
</div>
<blockquote type="cite"
cite="mid:62c35503-c2b0-4981-9a48-76a818ec8a4c@gmail.com">
<p><b>Program listing code can not be selected and copied.</b></p>
<p>The Docbook XML snippet<br>
</p>
<p><programlisting><br>
pandoc -f markdown -t docbook MyDocBookTest1.md -o
MyDocBookTest1.xml<br>
</programlisting></p>
<p>is rendered in a way that the code content can not be used
without retyping it. <br>
</p>
</blockquote>
Actually, it can be copied. It is visual effect problem, the
selection highlighting not taking precedence over the text
background color. If you make the selection gesture with the mouse,
then right click and copy, it works.<br>
<blockquote type="cite"
cite="mid:62c35503-c2b0-4981-9a48-76a818ec8a4c@gmail.com">
<p> </p>
<p>1. A first solution would be to just set the attribute that the
text an be selected.</p>
<p>2. A better solution would be to have a 'copy' button which
copies the content to the clipboard.</p>
</blockquote>
<p>I've added this button.</p>
<p><br>
</p>
<p> Mariano<br>
</p>
</body>
</html>