diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2015-12-22 18:00:51 -0600 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2015-12-22 18:00:51 -0600 |
commit | 6770b5e366c28c7b2378bef29c5817a45eb45214 (patch) | |
tree | d057bc00063f46d0dbeb3b353a2178b87bd5761d /data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js | |
parent | 541c887981ef5b5f8d7128c410461e6c8575c58e (diff) |
Updated LibreJS from 6.0.10 pre-release to 6.0.10 final
Diffstat (limited to 'data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js')
-rw-r--r-- | data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js | 152 |
1 files changed, 76 insertions, 76 deletions
diff --git a/data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js b/data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js index e465883..2aa4b8f 100644 --- a/data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js +++ b/data/extensions/jid1-KtlZuoiikVfFew@jetpack/node_modules/pathfinder/lib/scriptish/greasemonkey-api.js @@ -1,76 +1,76 @@ -'use strict'; - -var { Services } = require("services"); -var prefService = require("preferences-service"); -var tabs = require("tabs"); -var clipboard = require("clipboard"); -var {GM_xmlhttpRequester} = require("GM_xmlhttpRequester"); - -const NS_XHTML = "http://www.w3.org/1999/xhtml"; - -function GM_API(aScript, aURL, aWinID, aSafeWin, aUnsafeContentWin, aChromeWin) { - var document = aSafeWin.document; - var windowID = aWinID; - var xhr = new GM_xmlhttpRequester(aUnsafeContentWin, aURL, aScript); - - this.GM_addStyle = function GM_addStyle(css) { - var head = document.getElementsByTagName("head")[0]; - var style = document.createElement("style"); - if (head) { - style.textContent = css; - style.type = "text/css"; - head.appendChild(style); - } - return style; - }; - - // TODO: use simple storage - this.GM_getValue = function GM_getValue(name, defVal) { - return prefService.get(aScript.prefPrefix + name, defVal); - }; - this.GM_setValue = function GM_setValue(name, val) { - return prefService.set(aScript.prefPrefix + name, val); - }; - - this.GM_safeHTMLParser = function GM_safeHTMLParser(aHTMLStr) { - //if (!GM_apiLeakCheck("GM_safeHTMLParser")) return; - let doc = document.implementation.createDocument(NS_XHTML, "html", null); - let body = document.createElementNS(NS_XHTML, "body"); - doc.documentElement.appendChild(body); - body.appendChild(Services.suhtml.parseFragment(aHTMLStr, false, null, body)); - return doc; - } - - this.GM_xmlhttpRequest = function GM_xmlhttpRequest() { - //if (!GM_apiLeakCheck("GM_xmlhttpRequest")) return; - return xhr.contentStartRequest.apply(xhr, arguments); - }; -}; -exports.GM_API = GM_API; - -GM_API.prototype.GM_openInTab = - function GM_openInTab(aURL, aLoadInBackground, aReuse) { - if (aReuse) { - for each (var tab in tabs) { - if (tab.url == aURL) { - if (!aLoadInBackground) - tab.activate(); - return; - } - } - } - - tabs.open({ - url: aURL, - inBackground: aLoadInBackground - }); -}; - -GM_API.prototype.GM_setClipboard = function GM_setClipboard(aData, aType) { - return clipboard.set(aData, aType); -}; - -GM_API.prototype.GM_generateUUID = function GM_generateUUID() ( - Services.uuid.generateUUID().toString()); - -GM_API.prototype.GM_registerMenuCommand = function() {}; +'use strict';
+
+var { Services } = require("services");
+var prefService = require("preferences-service");
+var tabs = require("tabs");
+var clipboard = require("clipboard");
+var {GM_xmlhttpRequester} = require("GM_xmlhttpRequester");
+
+const NS_XHTML = "http://www.w3.org/1999/xhtml";
+
+function GM_API(aScript, aURL, aWinID, aSafeWin, aUnsafeContentWin, aChromeWin) {
+ var document = aSafeWin.document;
+ var windowID = aWinID;
+ var xhr = new GM_xmlhttpRequester(aUnsafeContentWin, aURL, aScript);
+
+ this.GM_addStyle = function GM_addStyle(css) {
+ var head = document.getElementsByTagName("head")[0];
+ var style = document.createElement("style");
+ if (head) {
+ style.textContent = css;
+ style.type = "text/css";
+ head.appendChild(style);
+ }
+ return style;
+ };
+
+ // TODO: use simple storage
+ this.GM_getValue = function GM_getValue(name, defVal) {
+ return prefService.get(aScript.prefPrefix + name, defVal);
+ };
+ this.GM_setValue = function GM_setValue(name, val) {
+ return prefService.set(aScript.prefPrefix + name, val);
+ };
+
+ this.GM_safeHTMLParser = function GM_safeHTMLParser(aHTMLStr) {
+ //if (!GM_apiLeakCheck("GM_safeHTMLParser")) return;
+ let doc = document.implementation.createDocument(NS_XHTML, "html", null);
+ let body = document.createElementNS(NS_XHTML, "body");
+ doc.documentElement.appendChild(body);
+ body.appendChild(Services.suhtml.parseFragment(aHTMLStr, false, null, body));
+ return doc;
+ }
+
+ this.GM_xmlhttpRequest = function GM_xmlhttpRequest() {
+ //if (!GM_apiLeakCheck("GM_xmlhttpRequest")) return;
+ return xhr.contentStartRequest.apply(xhr, arguments);
+ };
+};
+exports.GM_API = GM_API;
+
+GM_API.prototype.GM_openInTab =
+ function GM_openInTab(aURL, aLoadInBackground, aReuse) {
+ if (aReuse) {
+ for each (var tab in tabs) {
+ if (tab.url == aURL) {
+ if (!aLoadInBackground)
+ tab.activate();
+ return;
+ }
+ }
+ }
+
+ tabs.open({
+ url: aURL,
+ inBackground: aLoadInBackground
+ });
+};
+
+GM_API.prototype.GM_setClipboard = function GM_setClipboard(aData, aType) {
+ return clipboard.set(aData, aType);
+};
+
+GM_API.prototype.GM_generateUUID = function GM_generateUUID() (
+ Services.uuid.generateUUID().toString());
+
+GM_API.prototype.GM_registerMenuCommand = function() {};
|