| OLD | NEW |
| (Empty) |
| 1 const css = { | |
| 2 get: function(key) { | |
| 3 return preferences.array(key + '-content'); | |
| 4 }, | |
| 5 personal: function() { | |
| 6 return preferences.array('css-perso-content'); | |
| 7 }, | |
| 8 refresh: function() { | |
| 9 var success = true; | |
| 10 for(key in sources.css) { | |
| 11 if(preferences.bool(key)){ //If the list is enabled, upd
ate it | |
| 12 if(!this.update(key)) //In case of error with th
e update | |
| 13 success = false; | |
| 14 } | |
| 15 else //If the list is disabled, remove it | |
| 16 this.disable(key, false); | |
| 17 } | |
| 18 //opera.extension.postMessage({request: 'ping', type: 'css'}); /
/Make all webpages update | |
| 19 return success; | |
| 20 }, | |
| 21 time: function(key) { | |
| 22 return preferences.int(key + '-time'); | |
| 23 }, | |
| 24 update: function(key) { | |
| 25 //opera.postError('Update called for ' + key); | |
| 26 var value = download(sources.css[key]).replace(/\/\*(.|\n)*?\*\/
(\n)?/gm, '').split('\n'); | |
| 27 //opera.postError(value.join("\n")); | |
| 28 if(value instanceof Array) { | |
| 29 preferences.array(key + '-content', value); | |
| 30 preferences.int(key + '-time', getTime()); | |
| 31 return true; | |
| 32 } | |
| 33 else | |
| 34 return false; | |
| 35 }, | |
| 36 status: function(key) { | |
| 37 return preferences.bool(key); | |
| 38 }, | |
| 39 disable: function(key, ping) { //Disables a source | |
| 40 preferences.remove(key + '-time'); | |
| 41 preferences.remove(key + '-content'); | |
| 42 preferences.bool(key, false); | |
| 43 if(ping) | |
| 44 opera.extension.postMessage({request: 'ping', type: 'css
'}); | |
| 45 return true; | |
| 46 }, | |
| 47 enable: function(key, ping) { //Enables a source | |
| 48 this.update(key); | |
| 49 preferences.bool(key, true); | |
| 50 if(ping) | |
| 51 opera.extension.postMessage({request: 'ping', type: 'css
'}); | |
| 52 } | |
| 53 }; | |
| OLD | NEW |