1 /* Settings here override default values from constants.js;for example:
3 urls['AUDIO_good'] = '/xul/server/skin/media/custom/good.wav';
4 urls['opac'] = '/opac/' + LOCALE + '/skin/mylib/xml/advanced.xml?nps=1';
5 urls['opac_rdetail'] = '/opac/' + LOCALE + '/skin/mylib/xml/rdetail.xml';
6 urls['opac_rresult'] = '/opac/' + LOCALE + '/skin/mylib/xml/rresult.xml';
7 urls['browser'] = '/opac/' + LOCALE + '/skin/mylib/xml/advanced.xml?nps=1';
11 // Debugging aids. _dump_level = 4 enables all dump statements
14 var _dump_prefix = '0';
16 netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect");
17 var prefs = Components.classes['@mozilla.org/preferences-service;1'].getService(Components.interfaces['nsIPrefBranch']);
18 if (!prefs.prefHasUserValue('oils.unique_id')) {
19 prefs.setIntPref('oils.unique_id',Number(_dump_prefix));
21 var temp = prefs.getIntPref('oils.unique_id') + 1;
22 prefs.setIntPref('oils.unique_id',temp);
23 _dump_prefix = String( temp );
25 case 0: _dump_prefix = '!! ' + _dump_prefix; break;
26 case 1: _dump_prefix = '@@ ' + _dump_prefix; break;
27 case 2: _dump_prefix = '## ' + _dump_prefix; break;
28 case 3: _dump_prefix = '$$ ' + _dump_prefix; break;
29 case 4: default: _dump_prefix = '%% ' + _dump_prefix; break;
32 dump(' >>>>>>>>>>>>>>>>>>>>>>>>>>>> ' + _dump_prefix + ' = ' + location.href + '\n');
34 dump('Error in custom.js trying to set oils.unique_id\n');
37 function dump_xulG(msg) {
38 dump('[[[[[[[[[[[[[[[[[[[[[[[[[[[[[\n');
42 dump('xulG['+i+'] = '+xulG[i]+'\n');
47 dump(']]]]]]]]]]]]]]]]]]]]]]]]]]]]]\n');