[relaxed] don't set dom.event.clipboardevents.enabled and dom.allow_c…

…ut_copy to false

Fixes pyllyukko#287

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