diff --git a/assets/css/theme.css b/assets/css/theme.css
index 2a772a9cae..d6538448b3 100644
--- a/assets/css/theme.css
+++ b/assets/css/theme.css
@@ -1002,7 +1002,8 @@ div.highlight > div td {
   display: none;
 }
 /* disable selection for lineno cells */
-div.highlight > div td:first-child:not(:last-child) {
+div.highlight > div td:first-child:not(:last-child),
+div.highlight > span[id] {
   -webkit-user-select: none;
   user-select: none;
 }
diff --git a/layouts/partials/version.txt b/layouts/partials/version.txt
index 142dd82cfb..ddcbf33c02 100644
--- a/layouts/partials/version.txt
+++ b/layouts/partials/version.txt
@@ -1 +1 @@
-7.3.1+80e448e5bdaa92c87ee0d0d86f1125c8606ebf5f
\ No newline at end of file
+7.3.1+8dad5ee419e5bb2a0b380aa72d7a7389af4945f6
\ No newline at end of file
diff --git a/static/js/theme.js b/static/js/theme.js
index 05f421fc8e..4869b105b7 100644
--- a/static/js/theme.js
+++ b/static/js/theme.js
@@ -614,7 +614,7 @@ function initCodeClipboard() {
       for (var i = 0; i < selection.rangeCount; i++) {
         var range = selection.getRangeAt(i);
         var fragment = range.cloneContents();
-        if (fragment.querySelector('.ln')) {
+        if (fragment.querySelector('.ln') || fragment.querySelector('[id]')) {
           return true;
         }
       }