1 /* Settings here override default values from constants.js;for example:
3 urls['AUDIO_good'] = '/xul/server/skin/media/custom/good.wav';
5 urls['AUDIO_special_checkin.cataloging'] = '/xul/server/skin/media/custom/cataloging.wav';
6 urls['AUDIO_special_checkin.error'] = '/xul/server/skin/media/custom/error.wav';
7 urls['AUDIO_special_checkin.hold_capture_delayed'] = '/xul/server/skin/media/custom/hold_capture_delayed.wav';
8 urls['AUDIO_special_checkin.hold_shelf'] = '/xul/server/skin/media/custom/hold_shelf.wav';
9 urls['AUDIO_special_checkin.no_change'] = '/xul/server/skin/media/custom/no_change.wav';
10 urls['AUDIO_special_checkin.not_found'] = '/xul/server/skin/media/custom/not_found.wav';
11 urls['AUDIO_special_checkin.reservation_shelf'] = '/xul/server/skin/media/custom/reservation_shelf.wav';
12 urls['AUDIO_special_checkin.success'] = '/xul/server/skin/media/custom/success.wav';
13 urls['AUDIO_special_checkin.transit'] = '/xul/server/skin/media/custom/transit.wav';
14 urls['AUDIO_special_checkin.transit_for_hold'] = '/xul/server/skin/media/custom/transit_for_hold.wav';
16 urls['opac'] = '/opac/' + LOCALE + '/skin/mylib/xml/advanced.xml?nps=1';
17 urls['opac_rdetail'] = '/opac/' + LOCALE + '/skin/mylib/xml/rdetail.xml';
18 urls['opac_rresult'] = '/opac/' + LOCALE + '/skin/mylib/xml/rresult.xml';
19 urls['browser'] = '/opac/' + LOCALE + '/skin/mylib/xml/advanced.xml?nps=1';
23 // Debugging aids. _dump_level = 4 enables all dump statements
25 var prefs = Components.classes['@mozilla.org/preferences-service;1'].getService(Components.interfaces['nsIPrefBranch']);
26 if (prefs.prefHasUserValue('oils.dump_level')) {
27 _dump_level = prefs.getIntPref('oils.dump_level');
30 dump('Error setting _dump_level in custom.js for ' + location.href + '\n');
33 var _dump_prefix = '0';
35 var prefs = Components.classes['@mozilla.org/preferences-service;1'].getService(Components.interfaces['nsIPrefBranch']);
36 if (!prefs.prefHasUserValue('oils.unique_id')) {
37 prefs.setIntPref('oils.unique_id',Number(_dump_prefix));
39 var temp = prefs.getIntPref('oils.unique_id') + 1;
40 prefs.setIntPref('oils.unique_id',temp);
41 _dump_prefix = String( temp );
43 case 0: _dump_prefix = '!! ' + _dump_prefix; break;
44 case 1: _dump_prefix = '@@ ' + _dump_prefix; break;
45 case 2: _dump_prefix = '## ' + _dump_prefix; break;
46 case 3: _dump_prefix = '$$ ' + _dump_prefix; break;
47 case 4: default: _dump_prefix = '%% ' + _dump_prefix; break;
50 dump(' >>>>>>>>>>>>>>>>>>>>>>>>>>>> ' + _dump_prefix + ' = ' + location.href + '\n');
52 dump('Error in custom.js trying to set oils.unique_id\n');
55 function dump_xulG(msg) {
56 dump('[[[[[[[[[[[[[[[[[[[[[[[[[[[[[\n');
60 dump('xulG['+i+'] = '+xulG[i]+'\n');
65 dump(']]]]]]]]]]]]]]]]]]]]]]]]]]]]]\n');