/usr/share/xul-ext/greasemonkey/content/options.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 | Components.utils.import('resource://greasemonkey/prefmanager.js');
Components.utils.import('resource://greasemonkey/util.js');
function GM_loadOptions() {
document.getElementById('check-sync')
.checked = GM_prefRoot.getValue('sync.enabled');
document.getElementById('secure-update')
.checked = GM_prefRoot.getValue('requireSecureUpdates');
document.getElementById('submit-stats')
.checked = GM_prefRoot.getValue('stats.optedin');
document.getElementById('globalExcludes')
.pages = GM_util.getService().config.globalExcludes;
document.getElementById('newScript-removeUnused')
.checked = GM_prefRoot.getValue('newScript.removeUnused');
document.getElementById('newScript-template')
.value = GM_prefRoot.getValue('newScript.template');
}
function GM_saveOptions(checkbox) {
GM_prefRoot.setValue('sync.enabled',
!!document.getElementById('check-sync').checked);
GM_prefRoot.setValue('requireSecureUpdates',
!!document.getElementById('secure-update').checked);
GM_prefRoot.setValue('stats.optedin',
!!document.getElementById('submit-stats').checked);
GM_util.getService().config.globalExcludes =
document.getElementById('globalExcludes').pages;
GM_prefRoot.setValue('newScript.removeUnused',
!!document.getElementById('newScript-removeUnused').checked);
GM_prefRoot.setValue('newScript.template',
document.getElementById('newScript-template').value);
}
|