/usr/share/xul-ext/greasemonkey/content/scriptprefs.js is in xul-ext-greasemonkey 1.15-1~deb7u1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 | Components.utils.import('resource://greasemonkey/util.js'); // ref'd in XUL
var gScriptId = location.hash.substring(1);
var gScript = GM_util.getService().config.getMatchingScripts(function(script) {
return script.id == gScriptId;
})[0];
var gScriptExcludesEl;
var gScriptIncludesEl;
var gTabboxEl;
var gUserExcludesEl;
var gUserIncludesEl;
var gUserTabEl;
window.addEventListener('load', function() {
// I wanted "%s" but % is reserved in a DTD and I don't know the literal.
document.title = document.title.replace('!!', gScript.name);
var gTabboxEl = document.getElementsByTagName('tabbox')[0];
gUserTabEl = gTabboxEl.tabs.getItemAtIndex(0);
gUserIncludesEl = document.getElementById('user-includes');
gUserExcludesEl = document.getElementById('user-excludes');
gScriptIncludesEl = document.getElementById('script-includes');
gScriptExcludesEl = document.getElementById('script-excludes');
gScriptIncludesEl.pages = gScript.includes;
gScriptIncludesEl.onAddUserExclude = function(url) {
gUserExcludesEl.addPage(url);
gTabboxEl.selectedTab = gUserTabEl;
};
gUserIncludesEl.pages = gScript.userIncludes;
gScriptExcludesEl.pages = gScript.excludes;
gScriptExcludesEl.onAddUserInclude = function(url) {
gUserIncludesEl.addPage(url);
gTabboxEl.selectedTab = gUserTabEl;
};
gUserExcludesEl.pages = gScript.userExcludes;
}, false);
function onDialogAccept() {
gScript.includes = gScriptIncludesEl.pages;
gScript.userIncludes = gUserIncludesEl.pages;
gScript.excludes = gScriptExcludesEl.pages;
gScript.userExcludes = gUserExcludesEl.pages;
GM_util.getService().config._changed(gScript, "cludes");
}
|