diff --git a/user.js b/user.js index c5b220da..d82ccf40 100644 --- a/user.js +++ b/user.js @@ -108,15 +108,15 @@ user_pref("dom.telephony.enabled", false); // https://developer.mozilla.org/en-US/docs/Web/API/navigator.sendBeacon user_pref("beacon.enabled", false); -// PREF: Disable clipboard event detection (onCut/onCopy/onPaste) via Javascript -// NOTICE: Disabling clipboard events breaks Ctrl+C/X/V copy/cut/paste functionaility in JS-based web applications (Google Docs...) +// PREF: Disable clipboard event detection (onCut/onCopy/onPaste) via Javascript (disabled) +// NOTICE-DISABLED: Disabling clipboard events breaks Ctrl+C/X/V copy/cut/paste functionaility in JS-based web applications (Google Docs...) // https://developer.mozilla.org/en-US/docs/Mozilla/Preferences/Preference_reference/dom.event.clipboardevents.enabled -user_pref("dom.event.clipboardevents.enabled", false); +// user_pref("dom.event.clipboardevents.enabled", false); -// PREF: Disable "copy to clipboard" functionality via Javascript (Firefox >= 41) +// PREF: Disable "copy to clipboard" functionality via Javascript (Firefox >= 41) (disabled) // NOTICE: Disabling clipboard operations will break legitimate JS-based "copy to clipboard" functionality // https://hg.mozilla.org/mozilla-central/rev/2f9f8ea4b9c3 -user_pref("dom.allow_cut_copy", false); +// user_pref("dom.allow_cut_copy", false); // PREF: Disable speech recognition // https://dvcs.w3.org/hg/speech-api/raw-file/tip/speechapi.html