]> git.proxmox.com Git - rustc.git/blobdiff - src/librustdoc/html/static/js/settings.js
New upstream version 1.66.0+dfsg1
[rustc.git] / src / librustdoc / html / static / js / settings.js
index 797b931afc643b82d7b5744df52275d5ed9fcff2..5e1c7e6f03e75402b776f9fe29a0ca3c58057159 100644 (file)
                 updateSystemTheme();
                 updateLightAndDark();
                 break;
+            case "line-numbers":
+                if (value === true) {
+                    window.rustdoc_add_line_numbers_to_examples();
+                } else {
+                    window.rustdoc_remove_line_numbers_from_examples();
+                }
+                break;
         }
     }
 
         const innerHTML = `<div class="settings">${buildSettingsPageSections(settings)}</div>`;
         const el = document.createElement(elementKind);
         el.id = "settings";
-        el.className = "popover";
+        if (!isSettingsPage) {
+            el.className = "popover";
+        }
         el.innerHTML = innerHTML;
 
         if (isSettingsPage) {