Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save dimitropoulos/9442be09b9c93ce62fcd5bc7309d9fa5 to your computer and use it in GitHub Desktop.
Save dimitropoulos/9442be09b9c93ce62fcd5bc7309d9fa5 to your computer and use it in GitHub Desktop.
// ==UserScript==
// @name DisplaySpecifications user-select
// @version 0.1
// @author Dimitri Mitropoulos
// @match https://www.displayspecifications.com/*
// @grant none
// ==/UserScript==
(() => {
const addGlobalStyle = css => {
const head = document.getElementsByTagName('head')[0];
if (!head) {
return;
}
const style = document.createElement('style');
style.type = 'text/css';
style.innerHTML = css;
head.appendChild(style);
}
addGlobalStyle('body { user-select: auto !important; }');
})();
@SVNKoch
Copy link

SVNKoch commented Mar 20, 2022

thanks, I hated displayspecifications.com not allowing selection! Now it works like a charm.

@dimitropoulos
Copy link
Author

dimitropoulos commented Mar 21, 2022

haha, thanks @SVNKoch! happy I wasn't the only one that was annoyed by this!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment