+<dt class="term">
+ <span class="guilabel">Copy path clipboard selection</span>
+ </dt>
+<dd>
+ <p class="para block block-first">
+ This option determines which clipboard selection is used for the "Copy path" menu item. The exact method of the paste operation will depend on the operating system, but in general will be:
+ <div class="block list variablelist"><dl class="variablelist">
+<dt class="term dt-first">
+ <span class="guilabel">PRIMARY</span>
+ </dt>
+<dd>
+ <p class="para block block-first">Paste using mouse middle-click, or shift-insert.</p>
+ </dd>
+<dt class="term">
+ <span class="guilabel">CLIPBOARD</span>
+ </dt>
+<dd>
+ <p class="para block block-first">Paste using mouse right-click and select paste, or control-v.</p>
+ </dd>
+</dl></div>
+ </p>
+ </dd>