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 |